For the most recent entries see the Petri Nets Newsletter.

Keyword: distributed operational semantics

Taubner, Dirk:
Representing CCS Programs by Finite Predicate/Transition Nets. 1990.
Brogi, Antonio; Gorrieri, Roberto:
A Distributed, Net Oriented Semantics for Delta Prolog. 1989.
Montanari, Ugo; Yankelevich, Daniel N.:
An Algebraic View of Interleaving and Distributed Operational Semantics. 1989.

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

Back to the Petri Nets Bibliography