Schneider, Jean-Guy; Lumpe, Markus (October 1997). Synchronizing Concurrent Objects in the Pi-Calculus. In: Ducournau, Roland; Garlatti, Serge (eds.) Langages et Modèles à Objets (pp. 61-76). Roscoff: Hermes
