A distributed pi-calculus with local areas of communication (2000)

by Tom Chothia, Ian Stark
Venue:In Proc. 4th HLCL, ENTCS 41.2