paper

Robin Milner's Work on Concurrency: An Appreciation

arXiv:2206.09250

Abstract

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

Text of a talk given at MFPS 2010