Regular symbolic analysis of dynamic networks of pushdown systems
Bouajjani Ahmed, Müller-Olm Markus, Touili Tayssir
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Editors: Abadi Martín, de Alfaro Luca
Book title: CONCUR 2005 - Concurrency Theory (Volume 3653)
Page range: 473-487
Publisher: Springer
Place of publication: Berlin
Title of series: Lecture Notes in Computer Science
Volume of series: 3653
Status: Published
Release year: 2005
Language in which the publication is written: English
Conference: CONCUR 2005: 16th International Conference on Concurrency Theory, August 23-26, 2005, San Francisco, CA, USA
DOI: 10.1007/11539452_36
Link to the full text: http://dx.doi.org/10.1007/11539452_36
Authors from the University of Münster
| Müller-Olm, Markus |
Projects the publication originates from
SPP 1496 - WP: Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs (1st funding period) (IFC for Mobile Components) Duration: 01/10/2010 - 30/09/2013 | 1st Funding period Funded by: DFG - Priority Programme Type of project: Subproject in DFG-joint project hosted outside University of Münster |