Context-Based Process Algebras for Mobility (2004)

Author(s): Devillers R, Klaudel H, Koutny M

    Abstract: In this paper we provide two new formalisations of the finite fragment of the pi-calculus, defined in a way which exhibits the global state and the execution context of a process without needing to rely heavily on term rewriting techniques. In doing so, we aim at a calculus which would be amenable to a straightforward compositional translation into automata-based models such as Petri nets.

      • Date: 16-18 June 2004
      • Conference Name: 4th International Conference on Application of Concurrency to System Design (ACSD)
      • Pages: 79-88
      • Publisher: IEEE Computer Society
      • Publication type: Conference Proceedings (inc. abstract)
      • Bibliographic status: Published

      Keywords: process algebra, pi-calculus, mobility

      Staff

      Professor Maciej Koutny
      Professor of Computing Science