Publications related to Petruchio

Conference Papaers

[Mey08]

R. Meyer. On boundedness in depth in the pi-calculus. 12 pages, accepted for publication at the 5th IFIP International Conference on Theoretical Computer Science, IFIP TCS 2008, April 2008.
[ bib | Abstract ]

[MKS08a]

R. Meyer, V. Khomenko, and T. Strazny. A practical approach to verification of mobile systems using net unfoldings. 20 pages, accepted for publication at the 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, ATPN 2008, February 2008.
[ bib | Abstract ]

[Mey07]

R. Meyer. A Petri Net Semantics for pi-Calculus Verification. In Dagstuhl ''zehn plus eins'', pages 76-77. Verlagshaus Mainz GmbH Aachen, 2007.
[ bib ]

[Mey06a]

R. Meyer. Model checking the pi-calculus. In Proceedings of the International Research Training Groups Workshop, volume 3 of Trustworthy Software Systems, page 15. GITO, 2006.
[ bib ]

Technical Reports 

[MKS08b]

R. Meyer, V. Khomenko, and T. Strazny. A practical approach to verification of mobile systems using net unfoldings. Technical Report CS-TR: 1064, School of Computing Science, Newcastle University, January 2008. 29 pages.
[ bib | Abstract ] 

[KM08]

V. Khomenko and R. Meyer. Checking pi-calculus structural congruence is graph isomorphism complete. Technical Report CS-TR: 1100, School of Computing Science, Newcastle University, 2008. 20 pages.
[ bib | http | Abstract ]

[Mey07]

R. Meyer. A Petri Net Semantics for pi-Calculus Verification. In Dagstuhl ''zehn plus eins'', pages 76-77. Verlagshaus Mainz GmbH Aachen, 2007.
[ bib ]

[Mey06a]

R. Meyer. Model checking the pi-calculus. In Proceedings of the International Research Training Groups Workshop, volume 3 of Trustworthy Software Systems, page 15. GITO, 2006.
[ bib ]

Theses

[Gri07]

Phillip Gringel. Modellierung und Verifikation eines holonischen Transportsystems mit dem Pi-Kalkül, Bachelor Thesis, Nov. 2007

[Str07]

Tim Strazny. Entwurf und Implementierung vom Algorithmen zur Berechnung von Petrinez-Semantiken für Pi-Kalkül-Prozesse,  Master Thesis, Jul. 2007