Book Reading Time
Home
Subjects
Calculator
About
Contact
Search
R
Robin Milner
29 books found
Books by Robin Milner
Communicating and Mobile Systems
Robin Milner
⏱ 2h 41m
Communicating and Mobile Systems
Robin Milner
1999
161 pp.
Communication and Concurrency
Robin Milner
⏱ 4h 32m
Communication and Concurrency
Robin Milner
1995
272 pp.
A calculus of communicating systems
Robin Milner
⏱ 2h 51m
A calculus of communicating systems
Robin Milner
1980
171 pp.
The Space and Motion of Communicating Agents
Robin Milner
The Space and Motion of Communicating Agents
Robin Milner
2009
No page data
The definition of standard ML
R. Milner
⏱ 2h 10m
The definition of standard ML
R. Milner
1997
130 pp.
Commentary on Standard ML
Robin Milner
⏱ 2h 40m
Commentary on Standard ML
Robin Milner
1991
160 pp.
Andrey Rublev
Robin Milner-Gulland
Andrey Rublev
Robin Milner-Gulland
2023
No page data
Patterns of Russia
Robin Milner-Gulland
⏱ 4h 32m
Patterns of Russia
Robin Milner-Gulland
2020
272 pp.
Space and Motion Communicating Agents
Robin Milner
⏱ 3h 11m
Space and Motion Communicating Agents
Robin Milner
2010
191 pp.
Is computing an experimental science?
Robin Milner
⏱ 16m
Is computing an experimental science?
Robin Milner
1986
16 pp.
Co-induction in relational semantics
Robin Milner
⏱ 13m
Co-induction in relational semantics
Robin Milner
1988
13 pp.
The polyadic pi-calculus
Robin Milner
⏱ 49m
The polyadic pi-calculus
Robin Milner
1991
49 pp.
Action structures for the (pi)-calculus
Robin Milner
⏱ 35m
Action structures for the (pi)-calculus
Robin Milner
1993
35 pp.
The definition of Standard ML
Robin Milner
⏱ 1h 41m
The definition of Standard ML
Robin Milner
1990
101 pp.
Changes to the standard ML core language
Robin Milner
Changes to the standard ML core language
Robin Milner
1987
No page data
A complete axiomatisation for observational congruence of finite-state behaviours
Robin Milner
⏱ 23m
A complete axiomatisation for observational congruence of finite-state behaviours
Robin Milner
1986
23 pp.
A theory of type polymorphism in programming
Robin Milner
⏱ 38m
A theory of type polymorphism in programming
Robin Milner
1977
38 pp.
Operational and algebraic semantics of concurrent processes
Robin Milner
⏱ 42m
Operational and algebraic semantics of concurrent processes
Robin Milner
1988
42 pp.
Computing Tomorrow
Ian Wand
⏱ 6h 24m
Computing Tomorrow
Ian Wand
2009
384 pp.
Atlas de la Russie et de l'Union Soviétique
Robin Milner-Gulland
⏱ 4h 0m
Atlas de la Russie et de l'Union Soviétique
Robin Milner-Gulland
1990
240 pp.