Petri net semantics of the finite π-calculus terms (2006)
Author(s): Devillers R, Klaudel H, Koutny M
- Journal: Fundamenta Informaticae
- Volume: 70
- Issue: 3
- Pages: 203-226
- Publisher: IOS Press
- Publication type: Article
- Bibliographic status: Published
- ISSN (electronic): 1875-8681