A Fully Abstract Semantics for Causality in the \pi-Calculus.

Michele Boreale Davide Sangiorgi A Fully Abstract Semantics for Causality in the \pi-Calculus. 353-400 1998 35 Acta Inf. 5 db/journals/acta/acta35.html#BorealeS98 http://link.springer.de/link/service/journals/00236/bibs/8035005/80350353.htm