A fully abstract semantics for causality in the πcalculus (1998)

by Michele Boreale, Davide Sangiorgi
Venue:Acta Informatica