On Synchronous and Asynchronous Mobile Processes.

Paola Quaglia, David Walker

Browse the full FOSSACS paper archive.