The receptive distributed pi-calculus

Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine. The receptive distributed pi-calculus. ACM Transactions on Programming Languages and Systems, 25(5):549-577, 2003. [doi]

Abstract

Abstract is missing.