Theoretical Computer Science

Publications 2007

Workshop contributions

4. On Concurrent Finite Automata, by Berndt Farwer, Matthias Jantzen, Manfred Kudlek, Heiko Rölke, and Georg Zetzsche.
   In Proceedings of the Workshop CS&P'2007, 2007.
   

3. A Petri net semantics for pi-calculus verification, by Roland Meyer.
   In Dagstuhl "zehn plus eins", 2007.
   BibTeX

2. On Languages Accepted by Concurrent Finite Automata, by Matthias Jantzen, Manfred Kudlek, and Georg Zetzsche.
   In Proceedings of the Workshop CS&P'2007, 2007.
   

1. Finite Automata Controlled by Petri Nets, by Matthias Jantzen, Manfred Kudlek, and Georg Zetzsche.
   In Proceedings of the 14th Workshop; Algorithmen und Werkzeuge für Petrinetze, 2007.