For the most recent entries see the Petri Nets Newsletter.

Multisets and structural congruence of the pi-calculus with replication.

Engelfriet, J.; Gelsema, T.

In: Theoretical Computer Science, Vol. 211, No. 1-2, pages 311-337. 1999.

Abstract: In the pi-calculus with replication, two processes are multiset congruent if they have the same semantics in the associated multiset transition system. It is proved that (extended) structural congruence is the same as multiset congruence, and that it is decidable.

Keywords: Petri nets, multiset transition systems, pi-calculus.

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

Back to the Petri Nets Bibliography