Robin Milner

Identifiers

Open LibraryOL2652353A

Top Subjects

General (2)
Programming - General (2)
Formal languages (1)
Machine theory (1)
Computer networks -- Mathematics (1)
Monoids (1)
Group actions (Mathematics) (1)

Books by Robin Milner

Total count: 17

A theory of type polymorphism in programming.

University of Edinburgh. Department of Computer Science1977-01-01
A calculus of communicating systems

Springer-Verlag1980-01-01
A complete axiomatisation for observational congruence of finite-state behaviours.

University ofEdinburgh, Laboratory for Foundations of Computer Science1986-01-01
Is computing an experimental science?.

University of Edinburgh, Laboratory for Foundations of Computer Science1986-01-01
Changes to the standard ML core language.

University of Edinburgh, Laboratory for Foundations ofComputer Science1987-01-01
Co-induction in relational semantics

University of Edinburgh, Laboratory for Foundations of Computer Science1988-01-01
Operational and algebraic semantics of concurrent processes.

University of Edinburgh, Laboratoryfor Foundations of Computer Sciences1988-01-01
The definition of Standard ML

MIT Press1990-01-01
The polyadic pi-calculusa tutorial.

University of Edinburgh, Laboratory for Foundations of ComputerScience1991-01-01
Commentary on Standard ML

MIT Press1991-01-01
Action structures for the (pi)-calculus

LFCS, Dept. of Computer Science, University of Edinburgh1993-01-01
Communication and Concurrency (Prentice Hall International Series in Computer Science)1 edition

Prentice Hall PTR1995-09-06
Definition of Standard ML

MIT Press1997-01-01
Communicating and Mobile Systemsthe Pi-Calculus1st edition

Cambridge University Press1999-06-15
Space and Motion of Communicating Agents

Cambridge University Press2009-01-01
Computing TomorrowFuture Research Directions in Computer Science

Cambridge University Press2009-01-01
Space and Motion Communicating Agents

Cambridge University Press2010-01-01