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