Robin Milner's Work on Concurrency: An Appreciation
Logic in Computer Science
2022-06-22 v1
Abstract
We give a short appreciation of Robin Milner's seminal contributions to the theory of concurrency.
Cite
@article{arxiv.2206.09250,
title = {Robin Milner's Work on Concurrency: An Appreciation},
author = {Samson Abramsky},
journal= {arXiv preprint arXiv:2206.09250},
year = {2022}
}
Comments
Text of a talk given at MFPS 2010