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
      Staff

      Professor Maciej Koutny
      Professor of Computing Science