A Typed Language for Distributed Mobile Processes (Extended Abstract).

James Riely, Matthew Hennessy

Browse the full POPL paper archive.