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

Read more about this topic:  Robin Milner

Famous quotes containing the words selected and/or publications:

    “There is no reason why parents who work hard at a job to support a family, who nurture children during the hours at home, and who have searched for and selected the best [daycare] arrangement possible for their children need to feel anxious and guilty. It almost seems as if our culture wants parents to experience these negative feelings.”
    —Gwen Morgan (20th century)

    “Dr. Calder [a Unitarian minister] said of Dr. [Samuel] Johnson on the publications of Boswell and Mrs. Piozzi, that he was like Actaeon, torn to pieces by his own pack.”
    —Horace Walpole (1717–1797)