Books by Robin Milner
Space and Motion Communicating
Space and Motion Communicating Agents
The Space and Motion of Communicating Agents
Communicating and Mobile Systems
Action structures for the (pi)
Action structures for the (pi)-calculus
Commentary on Standard ML
The polyadic pi-calculus
The polyadic pi-calculus
Co-induction in relational sem
Co-induction in relational semantics
Operational and algebraic sema
Operational and algebraic semantics of concurrent processes
Changes to the standard ML cor
Changes to the standard ML core language
A calculus of communicating systems
A complete axiomatisation for
A complete axiomatisation for observational congruence of finite-state behaviours
Is computing an experimental s
Is computing an experimental science?
A theory of type polymorphism
A theory of type polymorphism in programming