For the most recent entries see the Petri Nets Newsletter.

A Multiset Semantics for the pi-Calculus with Replication.

Engelfriet, Joost

In: Theoretical Computer Science Vol. 153, No. 1--2, pages 65-94. 1996.

Abstract: A multiset (or Petri net) semantics is defined for the pi-calculus with replication. The semantic mapping is a strong bisimulation, and structurally congruent processes have the same semantics. This paper is readable without knowledge of Petri nets.

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

Back to the Petri Nets Bibliography