DMCA

Encoding Distributed Areas and Local Communication into the π-Calculus

by Tom Chothia , Ian Stark