Review of Communicating and mobile systems: the pi-calculus by Robin Silner.

Riccardo Pucella

Published in: SIGACT News (2000)

Keyphrases

management system
mobile devices
computer systems
database
complex systems
mobile computing
asynchronous circuits