Encoding Distributed Areas and Local Communication into the pi-Calculus

Tom Chothia, Ian Stark. Encoding Distributed Areas and Local Communication into the pi-Calculus. Electronic Notes in Theoretical Computer Science, 52(1):101-119, 2001. [doi]

Abstract

Abstract is missing.