A fully abstract semantics for causality in the pi calculus - Boreale, Michele; Sangiorgi, Davide (1994)