Author

Robin Milner

19 books found

Cover of Andrey Rublev

Andrey Rublev

Robin Milner-Gulland · First published 2023

Cover of Patterns of Russia

Patterns of Russia

Robin Milner-Gulland · First published 2020

Cover of Space and Motion Communicating Agents

Space and Motion Communicating Agents

Robin Milner · First published 2010

Cover of Computing Tomorrow

Computing Tomorrow

Ian Wand, Robin Milner · First published 2009

Cover of The Space and Motion of Communicating Agents

The Space and Motion of Communicating Agents

Robin Milner · First published 2009

Cover of Communicating and Mobile Systems

Communicating and Mobile Systems

Robin Milner · First published 1999

Cover of The definition of standard ML

The definition of standard ML

R. Milner, Robin Milner, Mads Tofte, Harper, Robert, David MacQueen · First published 1990 · Latest edition 1997

Cover of Communication and Concurrency

Communication and Concurrency

Robin Milner · First published 1995

Placeholder cover for Action structures for the (pi)-calculus

Action structures for the (pi)-calculus

Robin Milner · First published 1993

Cover of Commentary on Standard ML

Commentary on Standard ML

Robin Milner · First published 1991

Placeholder cover for The polyadic pi-calculus

The polyadic pi-calculus

Robin Milner · First published 1991

Cover of Atlas de la Russie et de l'Union Soviétique

Atlas de la Russie et de l'Union Soviétique

Robin Milner-Gulland · First published 1990

Placeholder cover for Co-induction in relational semantics

Co-induction in relational semantics

Robin Milner · First published 1988

Placeholder cover for Operational and algebraic semantics of concurrent processes

Operational and algebraic semantics of concurrent processes

Robin Milner · First published 1988

Placeholder cover for Changes to the standard ML core language

Changes to the standard ML core language

Robin Milner · First published 1987

Placeholder cover for A complete axiomatisation for observational congruence of finite-state behaviours

A complete axiomatisation for observational congruence of finite-state behaviours

Robin Milner · First published 1986

Placeholder cover for Is computing an experimental science?

Is computing an experimental science?

Robin Milner · First published 1986

Cover of A calculus of communicating systems

A calculus of communicating systems

Robin Milner · First published 1980

Placeholder cover for A theory of type polymorphism in programming

A theory of type polymorphism in programming

Robin Milner · First published 1977