R

Robin Milner

29 books found

Books by Robin Milner
Communicating and Mobile SystemsRobin Milner
⏱ 2h 41m

Communicating and Mobile Systems

Robin Milner

1999161 pp.
Communication and ConcurrencyRobin Milner
⏱ 4h 32m

Communication and Concurrency

Robin Milner

1995272 pp.
A calculus of communicating systemsRobin Milner
⏱ 2h 51m

A calculus of communicating systems

Robin Milner

1980171 pp.
The Space and Motion of Communicating AgentsRobin Milner

The Space and Motion of Communicating Agents

Robin Milner

2009No page data
The definition of standard MLR. Milner
⏱ 2h 10m

The definition of standard ML

R. Milner

1997130 pp.
Commentary on Standard MLRobin Milner
⏱ 2h 40m

Commentary on Standard ML

Robin Milner

1991160 pp.
Andrey RublevRobin Milner-Gulland

Andrey Rublev

Robin Milner-Gulland

2023No page data
Patterns of RussiaRobin Milner-Gulland
⏱ 4h 32m

Patterns of Russia

Robin Milner-Gulland

2020272 pp.
Space and Motion Communicating AgentsRobin Milner
⏱ 3h 11m

Space and Motion Communicating Agents

Robin Milner

2010191 pp.
Is computing an experimental science?Robin Milner
⏱ 16m

Is computing an experimental science?

Robin Milner

198616 pp.
Co-induction in relational semanticsRobin Milner
⏱ 13m

Co-induction in relational semantics

Robin Milner

198813 pp.
The polyadic pi-calculusRobin Milner
⏱ 49m

The polyadic pi-calculus

Robin Milner

199149 pp.
Action structures for the (pi)-calculusRobin Milner
⏱ 35m

Action structures for the (pi)-calculus

Robin Milner

199335 pp.
The definition of Standard MLRobin Milner
⏱ 1h 41m

The definition of Standard ML

Robin Milner

1990101 pp.
Changes to the standard ML core languageRobin Milner

Changes to the standard ML core language

Robin Milner

1987No page data
A complete axiomatisation for observational congruence of finite-state behavioursRobin Milner
⏱ 23m

A complete axiomatisation for observational congruence of finite-state behaviours

Robin Milner

198623 pp.
A theory of type polymorphism in programmingRobin Milner
⏱ 38m

A theory of type polymorphism in programming

Robin Milner

197738 pp.
Operational and algebraic semantics of concurrent processesRobin Milner
⏱ 42m

Operational and algebraic semantics of concurrent processes

Robin Milner

198842 pp.
Computing TomorrowIan Wand
⏱ 6h 24m

Computing Tomorrow

Ian Wand

2009384 pp.
Atlas de la Russie et de l'Union SoviétiqueRobin Milner-Gulland
⏱ 4h 0m

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

Robin Milner-Gulland

1990240 pp.