Rigid families, a causal model for concurrency based on configuration structures, can interpret CCS and the π-calculus. However, it is also a causal model suited for reversible calculi. In this paper we use rigid families to give a denotational representation to the reversible π-calculus. The reversible π-calculus defines a causal semantics for the π-calculus as well. We discuss the difference in the two causal representations, in rigid families and in the reversible π-calculus.
展开▼
