For the most recent entries see the Petri Nets Newsletter.

Event Structure Semantics for Nominal Calculi.

Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo

In: Lecture Notes in Computer Science : CONCUR 2006 - Concurrency Theory, Volume 4137, 2006, pages 295-309. 2006. URL:

Abstract: Event structures have been used for giving true concurrent semantics to languages and models of concurrency such as CCS, Petri nets and graph grammars. Although certain nominal calculi have been modeled with graph grammars, and hence their event structure semantics could be obtained as instances of the general case, the main limitation is that in the case of graph grammars the construction is more complex than strictly necessary for dealing with usual nominal calculi and, speaking in categorical terms, it is not as elegant as in the case of Petri nets. The main contribution of this work is the definition of a particular class of graph grammars, called persistent, that are expressive enough to model name passing calculi while simplifying the denotational domain construction, which can be expressed as an adjunction. Finally, we apply our technique to derive event structure semantics for pi-calculus and join-calculus processes.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography