DMCA

Encoding Distributed Areas and Local Communication into the π-Calculus (2002)

by Tom Chothia , Ian Stark
Citations:4 - 0 self