Robin Milner's Work on Concurrency: An Appreciation

06/18/2022
by   Samson Abramsky, et al.
0

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

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/29/2020

Models of Homotopy Type Theory with an Interval Type

In this short note, we construct a class of models of an extension of ho...
research
10/01/2002

Edsger Wybe Dijkstra (1930 – 2002): A Portrait of a Genius

We discuss the scientific contributions of Edsger Wybe Dijkstra, his opi...
research
07/14/2020

Individual Factors that Influence Effort and Contributions on Wikipedia

In this work, we aim to analyze how attitude, self-efficacy, and altruis...
research
11/28/2017

Julian Ernst Besag, 26 March 1945 -- 6 August 2010, a biographical memoir

Julian Besag's contributions to the discipline of statistics are profoun...
research
09/26/2019

Admiring the Great Mountain: A Celebration Special Issue in Honor of Stephen Grossbergs 80th Birthday

This editorial summarizes selected key contributions of Prof. Stephen Gr...
research
12/15/2020

A Systematic Mapping Study in AIOps

IT systems of today are becoming larger and more complex, rendering thei...
research
12/10/2014

Statistical Patterns in Written Language

Quantitative linguistics has been allowed, in the last few decades, with...

Please sign up or login with your details

Forgot password? Click here to reset