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]

Authors

Tom Chothia

This author has not been identified. Look up 'Tom Chothia' in Google

Ian Stark

This author has not been identified. Look up 'Ian Stark' in Google