• go to Alfred V Aho's profile page
  • go to Maurice V. Wilkes's profile page
  • go to John McCarthy's profile page
  • go to Yoshua Bengio's profile page
  • go to Geoffrey E Hinton's profile page
  • go to Ivan Sutherland's profile page
  • go to Richard E Stearns's profile page
  • go to David Patterson's profile page
  • go to Edgar F. Codd's profile page
  • go to Alan Kay's profile page
  • go to John L Hennessy's profile page
  • go to Adi Shamir's profile page
  • go to Robert E Tarjan's profile page
  • go to Michael Stonebraker's profile page
  • go to Edward A Feigenbaum's profile page
  • go to Robert Melancton Metcalfe's profile page
  • go to Jeffrey D Ullman's profile page
  • go to John Backus 's profile page
  • go to Herbert A. Simon's profile page
  • go to Kristen Nygaard 's profile page
  • go to Jim Gray 's profile page
  • go to Fernando Corbato's profile page
  • go to John Cocke 's profile page
  • go to Ole-Johan Dahl 's profile page
A.M. TURING AWARD WINNERS BY...

Arthur John Robin Gorell ("Robin") Milner DL Author Profile link

United Kingdom – 1991
Short Annotated Bibliography
  1. Gordon, Michael J., Arthur J. R. Milner and Christopher P. Wadsworth, Edinburgh LCF; a Mechanized Logic of Computation, Lecture Notes in Computer Science, Vol. 78, Springer, December 1, 1979.
  2. Milner, R., A Calculus for Communicating Systems, Lecture Notes in Computer Science, Vol. 92, Springer, 1980.
  3. Milner, R., Communication and Concurrency, Prentice Hall, 1989.
  4. Milner, R., Mads Tofte and Robert Harper, Definition of Standard ML, MIT Press, 1990.
  5. Milner R., Communicating and Mobile Systems: The Pi Calculus, Cambridge University Press, 1999.
  6. Goldin, Dina, Peter Wegner and Scott A. Smolka (eds), "Turing, Computing and Communication," in Interactive Computation: The New Paradigm, Springer, 2006.
  7. Milner, R., The Space and Motion of Communicating Agents, Cambridge University Press, 2009.