In: Formal Aspects of Computing (Journal), Volume 13 Issue 3-5, pages 327-340. July 2002.
Abstract: Action calculi, which generalise process calculi such as Petri nets, <pi>-calculus, and ambient calculus, have been presented in terms of action graphs. We here offer linear action graphs as a primitive basis for action calculi. This paper presents the category of embeddings of undirected linear action graphs without nesting, using a novel form of graphical reasoning which simplifies some otherwise complex manipulations in regular algebra. The results are adapted in a few lines to directed graphs. This work is part of a long-term search for a uniform behavioural theory for process calculi.
Keywords: Action calculus; Graph embedding; Process calculus.