Lookup NU author(s): Professor Maciej Koutny
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
In this paper we provide two new formalisations of the finite fragment of the π-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.
Author(s): Devillers R, Klaudel H, Koutny M
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Proceedings - Fourth International Conference on Application of Concurrency to System Design (ACSD)
Year of Conference: 2004
Library holdings: Search Newcastle University Library for this item