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

      Professor Maciej Koutny
      CS Director of Research