A Fully Abstract Semantics for Causality in the π-Calculus (1998)

by M Boreale, D Sangiorgi
Venue:Acta Informatica