Toggle Main Menu Toggle Search

Open Access padlockePrints

Context-based process algebras for mobility

Lookup NU author(s): Professor Maciej KoutnyORCiD


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.

Publication metadata

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

Pages: 79-88

Publisher: IEEE


DOI: 10.1109/CSD.2004.1309118

Library holdings: Search Newcastle University Library for this item

ISBN: 0769520774