Book Chapter: Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems

[springerlink:10.1007:11539452_36]

Ahmed Bouajjani, Markus Müller-Olm, Tayssir Touili, Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems, Abadi, Martín and de Alfaro, Luca (Ed.), CONCUR 2005 -- Concurrency Theory, pp. 473-487, Springer Berlin / Heidelberg, 2005.

Download

[DOI]

Original article available at springerlink.com.

BibTeX

@incollection{springerlink:10.1007:11539452_36,
  title = {Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems},
  booktitle = {CONCUR 2005 -- Concurrency Theory},
  year = {2005},
  publisher = {Springer Berlin / Heidelberg},
  volume = {3653},
  pages = {473-487},
  author = {Ahmed Bouajjani and Markus M{\"u}ller-Olm and Tayssir Touili},
  editor = {Abadi, Mart{'\i}n and de Alfaro, Luca},
  series = {Lecture Notes in Computer Science},
  doi = {10.1007/11539452_36},
}

Authors at the institute

Partner
Prof. Markus Müller-Olm

Projects

Project

IFC for Mobile Components