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.