A.M. TURING CENTENARY CELEBRATION WEBCAST
  • go to Robert W. Floyd's profile page
  • go to Robert E Kahn's profile page
  • go to Niklaus E. Wirth's profile page
  • go to Butler W Lampson's profile page
  • go to Stephen A Cook's profile page
  • go to Joseph Sifakis's profile page
  • go to Ivan Sutherland's profile page
  • go to Peter Naur's profile page
  • go to A J Milner 's profile page
  • go to Kenneth Lane Thompson's profile page
  • go to Geoffrey E Hinton's profile page
  • go to Dr. Jack Dongarra's profile page
  • go to Jeffrey D Ullman's profile page
  • go to Juris Hartmanis's profile page
  • go to Alfred V Aho's profile page
  • go to Marvin Minsky 's profile page
  • go to Ronald L Rivest's profile page
  • go to Michael O. Rabin 's profile page
  • go to Douglas Engelbart's profile page
  • go to Yann LeCun's profile page
  • go to Adi Shamir's profile page
  • go to Sir Tim Berners-Lee's profile page
  • go to Edwin Catmull's profile page
  • go to Richard Karp's profile page
A.M. TURING AWARD WINNERS BY...
A J Milner

PHOTOGRAPHS

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.