A compositional Petri net translation of general π-calculus terms (2008)
Author(s): Devillers R, Klaudel H, Koutny M
- Journal: Formal Aspects of Computing
- Volume: 20
- Issue: 4-5
- Pages: 429-450
- Publisher: Springer
- Publication type: Article
- Bibliographic status: Published