!! Selection some of the main contributions of Robin Milner


*A Calculus of Communicating Systems, Robin Milner. Springer-Verlag (LNCS 92), 1980. ISBN 3-540-10235-3 \\

 
*Communication and Concurrency, Robin Milner. Prentice Hall (International Series in Computer Science), 1989. ISBN 0-131-15007-3 

*The Definition of Standard ML, Robin Milner, Mads Tofte, Robert Harper, MIT Press 1990 

*The Definition of Standard ML (Revised), Robin Milner, Mads Tofte, Robert Harper, David MacQueen, MIT Press 1997. ISBN 0-262-63181-4 

*Commentary on Standard ML, Robin Milner, Mads Tofte, MIT Press 1997. ISBN 0-262-63137-7 

*Communicating and Mobile Systems: the Pi-Calculus, Robin Milner. Cambridge University Press, 1999. ISBN 0-521-65869-1 

*The Space and Motion of Communicating Agents, Robin Milner, Cambridge University Press, 2009. ISBN 9780521738330