Robin Milner - Selected Publications

Selected Publications

• 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-13-115007-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 978-0-521-73833-0
• Publications by Robin Milner in DBLP