Processes: A Mathematical Model of Computing Agents (0)

by R Milner
Venue:Proc. Logic Colloquium