CTHS - MILNER Robin Arthur John Gorell

Accueil

Sociétés savantes

Annuaire prosopographique : recherche

MILNER Robin Arthur John Gorell

Naissance: 13 janvier 1934 à Yealmpton , Royaume-Uni - Décès: 20 mars 2010 à Cambridge , Royaume-Uni

Société(s)

Académie des sciences : associé étranger dans la discipline sciences mécaniques et informatiques, 2005-2010

Société royale d'Édimbourg : Membre.

Société royale de Londres pour l'amélioration des connaissances naturelles : Membre.

Biographie

Fils d'un officier de l’infanterie, Robin MILNER obtient en 1947 une bourse pour le Collège d'Eton. De 1952 à 1954, il effectue son service militaire au canal de Suez, dans le corps des Royal Engineers, où il obtient le grade de sous-lieutenant, il étudie ensuite, grâce à une autre bourse, les mathématiques puis la philosophie au King’s College de l'université de Cambridge. En 1957, il obtient son Bachelor à l'université de Cambridge, et travaille ensuite à Londres, dans des... (lire la suite...)

Sources biographiques

index biographique de l'Académie des sciences. Wikipédia.

Bibliographie

A Calculus of Communicating Systems, Springer, 1980, 171 p.
Communication and Concurrency, Prentice Hall, 1989, 260 p.
The Definition of Standard ML, MIT Press, 1990
The Definition of Standard ML, Revised Edition, Cambridge, MIT Press, 1997, 114 p.
Commentary on Standard ML, MIT Press, 1997
Communicating and Mobile Systems : the Pi-Calculus, Cambridge University Press, 1999, 161 p.
The Space and Motion of Communicating Agents, Cambridge University Press, 2009, 214 p.