A fully abstract semantics for causality in the $\pi$ -calculus

• 1 May 1998
• journal article
• Published by Springer Nature in Acta Informatica
• Vol. 35  (5) , 353-400
• https://doi.org/10.1007/s002360050124

Abstract

Keywords

• SIMPLE THEORY
• SIMILAR PROGRAMME
• CAUSAL DEPENDENCY
• MOBILE PROCESS
• BEHAVIOURAL EQUIVALENCE