For the most recent entries see the Petri Nets Newsletter.

Structural inclusion in the pi-calculus with replication.

Engelfriet, Joost; Gelsema, Tjalling

In: Theoretical Computer Science 258 (1-2), pages 131-168. May 2001.

Abstract: Three notions of structural inclusion between process terms of the pi-calculus are considered, and proven to be decidable and to have axiomatizations that are sound and complete in the multiset semantics Mpi of the pi-calculus. All three are strong simulation relations.

Keywords: pi-calculus; Structural congruence; Petri nets.


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

Back to the Petri Nets Bibliography