Robin Milner's Work on Concurrency

Authors:
Samson Abramsky
Affiliations:
Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, U.K.
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2010

Commentary on standard ML

Commentary on standard ML
A calculus of mobile processes, I

Information and Computation
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Communication and Concurrency

Communication and Concurrency
A Calculus of Communicating Systems

A Calculus of Communicating Systems
The Definition of Standard ML

The Definition of Standard ML
Action Calculi, or Syntactic Action Structures

MFCS '93 Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science
Control Structures

LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
The Space and Motion of Communicating Agents

The Space and Motion of Communicating Agents

Hi-index	0.00

We give a short appreciation of Robin Milner's seminal contributions to the theory of concurrency.