For the most recent entries see the
Petri Nets Newsletter
Keyword: distributed operational semantics
Representing CCS Programs by Finite Predicate/Transition Nets.
A Distributed, Net Oriented Semantics for Delta Prolog.
Yankelevich, Daniel N.
An Algebraic View of Interleaving and Distributed Operational Semantics.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography