Structural inclusion in the pi-calculus with replication

https://doi.org/10.1016/S0304-3975(99)00330-8Get rights and content
Under an Elsevier user license
open archive

Abstract

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

Keywords

π-calculus
Structural congruence
Petri nets

Cited by (0)