A fully abstract semantics for causality in the -calculus (1994)

by M Boreale, D Sangiorgi
Venue:Dept. of Comp. Sci., Edinburgh Univ