Author
Robin Milner
The Space and Motion of Communicating Agents
Robin Milner
The Space and Motion of Communicating Agents
The Definition of Standard ML - Revised
R. Milner
The Definition of Standard ML - Revised
A calculus of communicating systems.
Robin Milner
A calculus of communicating systems.
Computing Tomorrow
Ian Wand
Computing Tomorrow
Communicating and Mobile Systems
Robin Milner
Communicating and Mobile Systems
Communication and Concurrency (Prentice Hall International Series in Computer Science)
Robin Milner
Communication and Concurrency (Prentice Hall International Series in Computer Science)
Action structures for the (pi)-calculus
Robin Milner
Action structures for the (pi)-calculus
Changes to the standard ML core language.
Robin Milner
Changes to the standard ML core language.
Co-induction in relational semantics
Robin Milner
Co-induction in relational semantics
Commentary on Standard ML
Robin Milner
Commentary on Standard ML
A complete axiomatisation for observational congruence of finite-state behaviours.
Robin Milner
A complete axiomatisation for observational congruence of finite-state behaviours.
The definition of Standard ML
Robin Milner
The definition of Standard ML
All 17 works
Is computing an experimental science?.
Robin Milner
Is computing an experimental science?.
The polyadic pi-calculus
Robin Milner
The polyadic pi-calculus
A theory of type polymorphism in programming.
Robin Milner
A theory of type polymorphism in programming.
Space and Motion Communicating Agents
Robin Milner
Space and Motion Communicating Agents
Operational and algebraic semantics of concurrent processes.
Robin Milner
Operational and algebraic semantics of concurrent processes.
No quotes yet. Add a line of Robin Milner’s that stayed with you.