Communicating with Mobile Agents: The pi-Calculus (1999)

by R Milner