A Petri Net Semantics of a Simple Process Algebra for Mobility (2006)
Author(s): Devillers R, Klaudel H, Koutny M
Notes: Proceedings of the 12th Workshop on Expressiveness on Concurrency (EXPRESS 2005)
- Journal: Electronic Notes in Theoretical Computer Science
- Volume: 154
- Issue: 3
- Pages: 71-94
- Publisher: Elsevier BV
- Publication type: Article
- Bibliographic status: Published