Editing Robin Milner (section)

== Selected publications ==
<!-- [http://www.diku.dk/undervisning/2006-2007/2006-2007_b2_246/milner78theory.pdf A Theory of Type Polymorphism in Programming, Robin Milner, Journal of Computer and System Sciences, August 1980] -->

* ''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
* ''Commentary on Standard ML'', Robin Milner, [[Mads Tofte]], MIT Press 1991. {{ISBN|0-262-63137-7}}
* ''The Definition of Standard ML'' (Revised), Robin Milner, [[Mads Tofte]], Robert Harper, David MacQueen, MIT Press 1997. {{ISBN|0-262-63181-4}}
* ''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}}
See also: [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Milner:Robin.html Publications by Robin Milner] in [[DBLP]]