Robin Milner
According to our database^{1},
Robin Milner
authored at least 101 papers
between 1968 and 2013.
Collaborative distances:
Collaborative distances:
Awards
Turing Prize recipient
Turing Prize 1991, "For three distinct and complete achievements: 1) LCF theorem proverLCF, the mechanization of Scott's Logic of Computable Functions, probably the first theoretically based yet practical tool for automated theorem provingmachine assisted proof construction; 2) ML programming languageML, the first language to include polymorphic type inference together with a type safetytypesafe exception handlingexceptionhandling mechanism; 3) calculus of communicating systemsCCS, a general theory of concurrency (computer science)concurrency. In addition, he formulated and strongly advanced full abstraction, the study of the relationship between operational semanticsoperational and denotational semanticsdenotational semantics.".
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on zbmath.org

on viaf.org

on id.loc.gov

on dnb.info

on cl.cam.ac.uk

on isni.org

on dl.acm.org
On csauthors.net:
Bibliography
2013
Formal Aspects Comput., 2013
2010
Comput. J., 2010
Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010
2009
Proceedings of the CONCUR 2009  Concurrency Theory, 20th International Conference, 2009
The Space and Motion of Communicating Agents.
Cambridge University Press, ISBN: 9780521738330, 2009
2008
Electron. Notes Theor. Comput. Sci., 2008
Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008
Proceedings of the Concurrency, 2008
Proceedings of the Visions of Computer Science, 2008
2007
Electron. Notes Theor. Comput. Sci., 2007
2006
Trans. Comp. Sys. Biology, 2006
Int. J. Parallel Emergent Distributed Syst., 2006
Math. Struct. Comput. Sci., 2006
Inf. Comput., 2006
Proceedings of the 13th International Workshop on Expressiveness in Concurrency, 2006
Electron. Notes Theor. Comput. Sci., 2006
Comput. J., 2006
2005
Journeys in nonclassical computation I: A grand challenge for computing research.
Parallel Algorithms Appl., 2005
Math. Struct. Comput. Sci., 2005
Comput. J., 2005
Proceedings of the Processes, 2005
Proceedings of the Formal Methods in Software and Systems Modeling, 2005
2004
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004
Proceedings of the Foundations of Software Science and Computation Structures, 2004
2003
Proceedings of the Conference Record of POPL 2003: The 30th SIGPLANSIGACT Symposium on Principles of Programming Languages, 2003
Proceedings of the Lectures on Concurrency and Petri Nets, 2003
2002
Formal Aspects Comput., 2002
Proceedings of the Graph Transformation, First International Conference, 2002
2001
Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2001
Proceedings of the CONCUR 2001, 2001
Proceedings of the Application and Theory of Petri Nets 2001, 2001
2000
Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000
Proceedings of the CONCUR 2000, 2000
1999
Communicating and mobile systems  the Picalculus.
Cambridge University Press, ISBN: 9780521658690, 1999
1998
The Pi Calculus and Its Applications (Keynote Address).
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998
1997
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997
1996
Acta Informatica, 1996
1995
Proceedings of the Proceedings, 1995
Proceedings of the Category Theory and Computer Science, 6th International Conference, 1995
1994
Computing is Interaction.
Proceedings of the Technology and Foundations  Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994
Proceedings of the Programming Languages and Systems, 1994
1993
Theor. Comput. Sci., 1993
Theor. Comput. Sci., 1993
Commun. ACM, 1993
Commun. ACM, 1993
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993
Proceedings of the Fundamentals of Computation Theory, 9th International Symposium, 1993
Proceedings of the Computer Science Logic, 7th Workshop, 1993
1992
Inf. Comput., September, 1992
Inf. Comput., September, 1992
Inf. Comput., July, 1992
Math. Struct. Comput. Sci., 1992
Proceedings of the 5th Refinement Workshop, 1992
Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 1992
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992
Proceedings of the CONCUR '92, 1992
Proceedings of the CONCUR '92, 1992
1991
Theor. Comput. Sci., 1991
Proceedings of the VDM '91, 1991
Proceedings of the ObjectBased Concurrent Computing, 1991
Commentary on standard ML.
MIT Press, ISBN: 9780262631372, 1991
1990
Theor. Comput. Sci., 1990
Foundations of Concurrent ObjectOriented Programming (Panel).
Proceedings of the Conference on ObjectOriented Programming Systems, 1990
Proceedings of the Handbook of Theoretical Computer Science, 1990
Definition of standard ML.
MIT Press, ISBN: 9780262631327, 1990
1989
Inf. Comput., May, 1989
Communication and concurrency.
PHI Series in computer science, Prentice Hall, ISBN: 9780131150072, 1989
1988
Some Directions in Concurrency Theory.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988
1987
J. Inf. Technol., 1987
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
Some Uses of Maximal Fixed Points (Abstract of Invited Lecture)
Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987
Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987
1986
Process Constructors and Interpretations (Invited Paper).
Proceedings of the Information Processing 86, 1986
1985
J. ACM, January, 1985
1984
J. Comput. Syst. Sci., 1984
A Proposal for Standard ML.
Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984
Proceedings of the Seminar on Concurrency, 1984
1983
Theor. Comput. Sci., 1983
Proceedings of the Analysis of Concurrent Systems, 1983
Proceedings of the Analysis of Concurrent Systems, 1983
Proceedings of the Analysis of Concurrent Systems, 1983
1982
Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982
Proceedings of the ACM SIGACTSIGOPS Symposium on Principles of Distributed Computing, 1982
1981
Proceedings of the CAAP '81, 1981
1980
Proceedings of the Automata, 1980
Lecture Notes in Computer Science 92, Springer, ISBN: 3540102353, 1980
1979
J. ACM, 1979
J. ACM, 1979
Proceedings of the Theoretical Computer Science, 1979
Proceedings of the Mathematical Foundations of Computer Science 1979, 1979
Lecture Notes in Computer Science 78, Springer, ISBN: 3540097244, 1979
1978
J. Comput. Syst. Sci., 1978
Proceedings of the Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, 1978
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978
1977
Theor. Comput. Sci., 1977
1972
Proceedings of the International Sympoisum on Theoretical Programming, 1972
1971
Proceedings of the 2nd International Joint Conference on Artificial Intelligence. London, 1971
1970
J. Comput. Syst. Sci., 1970
1968
Comput. J., 1968