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