String Handling in ALGOL. - Robin Milner (Comput. J., 1968)

Equivalences on Program Schemes. - Robin Milner (J. Comput. Syst. Sci., 1970)

An Algebraic Definition of Simulation Between Programs. - Robin Milner (IJCAI, 1971)

A calculus for the mathematical theory of computation. - Robin Milner (International Sympoisum on Theoretical Programming, 1972)

Implementation and applications of Scott's logic for computable functions. - Robin Milner (Proving Assertions About Programs, 1972)

Fully Abstract Models of Typed lambda-Calculi. - Robin Milner (Theor. Comput. Sci., 1977)

Synthesis of Communicating Behaviour. - Robin Milner (MFCS, 1978)

A Metalanguage for Interactive Proof in LCF. - Michael J. C. Gordon; Robin Milner; F. Lockwood Morris; Malcolm C. Newey; Christopher P. Wadsworth (POPL, 1978)

A Theory of Type Polymorphism in Programming. - Robin Milner (J. Comput. Syst. Sci., 1978)

Edinburgh LCF - Michael J. C. Gordon; Robin Milner; Christopher P. Wadsworth (Springer, 1979)

LCF: A Way of Doing Proofs with a Machine. - Robin Milner (MFCS, 1979)

An Algebraic Theory for Synchronization. - Robin Milner (Theoretical Computer Science, 1979)

Concurrent Processes and Their Syntax. - George J. Milne; Robin Milner (J. ACM, 1979)

Flowgraphs and Flow Algebras. - Robin Milner (J. ACM, 1979)

A Calculus of Communicating Systems - Robin Milner (Springer, 1980)

On Observing Nondeterminism and Concurrency. - Matthew Hennessy; Robin Milner (ICALP, 1980)

A Modal Characterisation of Observable Machine-Behaviour. - Robin Milner (CAAP, 1981)

Four Combinators for Concurrency. - Robin Milner (PODC, 1982)

Principal Type-Schemes for Functional Programs. - Luís Damas; Robin Milner (POPL, 1982)

Using Algebra for Concurrency: Some Approaches. - Robin Milner (The Analysis of Concurrent Systems, 1983)

Parallel Combinator Reduction Machine. - Robin Milner (The Analysis of Concurrent Systems, 1983)

Firing Squad. - Robin Milner (The Analysis of Concurrent Systems, 1983)

Calculi for Synchrony and Asynchrony. - Robin Milner (Theor. Comput. Sci., 1983)

Lectures on a Calculus for Communicating Systems. - Robin Milner (Seminar on Concurrency, 1984)

A Proposal for Standard ML. - Robin Milner (LISP and Functional Programming, 1984)

A Complete Inference System for a Class of Regular Behaviours. - Robin Milner (J. Comput. Syst. Sci., 1984)

Algebraic Laws for Nondeterminism and Concurrency - Matthew Hennessy; Robin Milner (J. ACM, 1985)

Process Constructors and Interpretations (Invited Paper). - Robin Milner (IFIP Congress, 1986)

Verifying a Protocol Using Relativized Bisimulation. - Kim Guldstrand Larsen; Robin Milner (ICALP, 1987)

Some Uses of Maximal Fixed Points (Abstract of Invited Lecture) - Robin Milner (LICS, 1987)

A Type Discipline for Program Modules. - Robert Harper 001; Robin Milner; Mads Tofte (TAPSOFT, Vol.2, 1987)

Dialogue with a Proof System. - Robin Milner (TAPSOFT, Vol.1, 1987)

Is Computing an Experimental Science? - Robin Milner (J. Inf. Technol., 1987)

Some Directions in Concurrency Theory. - Robin Milner (FGCS, 1988)

Communication and concurrency. - Robin Milner (Prentice Hall, 1989)

A Complete Axiomatisation for Observational Congruence of Finite-State Behaviors - Robin Milner (Inf. Comput., 1989)

Definition of standard ML. - Robin Milner; Mads Tofte; Robert Harper 001 (MIT Press, 1990)

Operational and Algebraic Semantics of Concurrent Processes. - Robin Milner (Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), 1990)

Foundations of Concurrent Object-Oriented Programming (Panel). - Gul Agha; Samson Abramsky; Carl Hewitt; Robin Milner; Peter Wegner; Akinori Yonezawa (OOPSLA/ECOOP, 1990)

Interpreting one Concurrent Calculus in Another. - Robin Milner (Theor. Comput. Sci., 1990)

Commentary on standard ML. - Robin Milner; Mads Tofte (MIT Press, 1991)

What Is An Object? - Pierre America; Robin Milner; Oscar Nierstrasz; Mario Tokoro; Akinori Yonezawa (Object-Based Concurrent Computing, 1991)

Concurrent Processes as Objects (Abstract). - Robin Milner (VDM Europe (1), 1991)

Co-Induction in Relational Semantics. - Robin Milner; Mads Tofte (Theor. Comput. Sci., 1991)

The Polyadic Pi-calculus (Abstract). - Robin Milner (CONCUR, 1992)

The Problem of "Weak Bisimulation up to". - Davide Sangiorgi; Robin Milner (CONCUR, 1992)

Barbed Bisimulation. - Robin Milner; Davide Sangiorgi (ICALP, 1992)

A Semantics for ML Concurrency Primitives. - Dave Berry; Robin Milner; David N. Turner (POPL, 1992)

Concurrent Processes as Objects. - Robin Milner (Refine, 1992)

Functions as Processes. - Robin Milner (Math. Struct. Comput. Sci., 1992)

A Compositional Protocol Verification Using Relativized Bisimulation - Kim Guldstrand Larsen; Robin Milner (Inf. Comput., 1992)

A Calculus of Mobile Processes, I - Robin Milner; Joachim Parrow; David Walker 001 (Inf. Comput., 1992)

A Calculus of Mobile Processes, II - Robin Milner; Joachim Parrow; David Walker 001 (Inf. Comput., 1992)

Higher-Order Action Calculi. - Robin Milner (CSL, 1993)

An Action Structure for Synchronous pi-Calculus. - Robin Milner (FCT, 1993)

Action Calculi, or Syntactic Action Structures. - Robin Milner (MFCS, 1993)

An Interview with Robin Milner. - Karen A. Frenkel; Robin Milner (Commun. ACM, 1993)

Elements of Interaction - Turing Award Lecture. - Robin Milner (Commun. ACM, 1993)

Unique Decomposition of Processes. - Robin Milner; Faron Moller (Theor. Comput. Sci., 1993)

Modal Logics for Mobile Processes. - Robin Milner; Joachim Parrow; David Walker 001 (Theor. Comput. Sci., 1993)

Pi-Nets: A Graphical Form of pi-Calculus. - Robin Milner (ESOP, 1994)

Computing is Interaction. - Robin Milner (IFIP Congress (1), 1994)

Control Structures: a Model of Interaction. - Robin Milner (Category Theory and Computer Science, 1995)

Control Structures - Alex Mifsud; Robin Milner; A. John Power (LICS, 1995)

Calculi for Interaction. - Robin Milner (Acta Informatica, 1996)

Graphical Calculi for Interaction (Abstract). - Robin Milner (ICALP, 1997)

Strong Normalisation in Higher-Order Action Calculi. - Robin Milner (TACS, 1997)

The Pi Calculus and Its Applications (Keynote Address). - Robin Milner (IJCSLP, 1998)

Communicating and mobile systems - the Pi-calculus. - Robin Milner (Cambridge University Press, 1999)

Deriving Bisimulation Congruences for Reactive Systems. - James J. Leifer; Robin Milner (CONCUR, 2000)

Graphical Theories of Interactive Systems: Can a Proof Assistant Help? - Robin Milner (TPHOLs, 2000)

The Flux of Interaction. - Robin Milner (ICATPN, 2001)

Bigraphical Reactive Systems. - Robin Milner (CONCUR, 2001)

Computational flux. - Robin Milner (POPL, 2001)

Bigraphs as a Model for Mobile Interaction. - Robin Milner (ICGT, 2002)

Shallow Linear Action Graphs and their Embeddings. - James J. Leifer; Robin Milner (Formal Aspects Comput., 2002)

Bigraphs for Petri Nets. - Robin Milner (Lectures on Concurrency and Petri Nets, 2003)

Bigraphs and transitions. - Ole Høgh Jensen; Robin Milner (POPL, 2003)

Theories for the Global Ubiquitous Computer. - Robin Milner (FoSSaCS, 2004)

Towards a Broader Theory of Mobile Processes. - Robin Milner (IFIP TCS, 2004)

Embeddings and Contexts for Link Graphs. - Robin Milner (Formal Methods in Software and Systems Modeling, 2005)

The Spectra of Words. - Robin Milner (Processes, Terms and Cycles, 2005)

Grand Challenges for Computing Research. - Tony Hoare; Robin Milner (Comput. J., 2005)

Pervasive Process Calculus. - Robin Milner (APC 25, 2005)

Axioms for bigraphical structure. - Robin Milner (Math. Struct. Comput. Sci., 2005)

Journeys in non-classical computation I: A grand challenge for computing research. - Susan Stepney; Samuel L. Braunstein; John A. Clark; Andrew M. Tyrrell; Andrew Adamatzky; Robert E. Smith 001; Tom Addis; Colin G. Johnson; Jonathan Timmis; Peter H. Welch; Robin Milner; Derek Partridge (Parallel Algorithms Appl., 2005)

Ubiquitous Computing: Shall we Understand It? - Robin Milner (Comput. J., 2006)

Matching of Bigraphs. - Lars Birkedal; Troels Christoffer Damgaard; Arne J. Glenstrup; Robin Milner (GT-VC@CONCUR, 2006)

Local Bigraphs and Confluence: Two Conjectures: (Extended Abstract). - Robin Milner (EXPRESS, 2006)

Bigraphs and Their Algebra. - Robin Milner (LIX, 2006)

Pure bigraphs: Structure and dynamics. - Robin Milner (Inf. Comput., 2006)

Transition systems, link graphs and Petri nets. - James J. Leifer; Robin Milner (Math. Struct. Comput. Sci., 2006)

Journeys in non-classical computation II: initial journeys and waypoints. - Susan Stepney; Samuel L. Braunstein; John A. Clark; Andrew M. Tyrrell; Andrew Adamatzky; Robert E. Smith 001; Thomas R. Addis; Colin G. Johnson; Jonathan Timmis; Peter H. Welch; Robin Milner; Derek Partridge (Int. J. Parallel Emergent Distributed Syst., 2006)

Scientific Foundation for Global Computing. - Robin Milner (Trans. Comp. Sys. Biology, 2006)

Keynote: The Space and Motion of Large Informatic Systems. - Robin Milner (BCS Int. Acad. Conf., 2008)

Categories, Software and Meaning. - Robin Milner (Concurrency, Graphs and Models, 2008)

Stochastic Bigraphs. - Jean Krivine; Robin Milner; Angelo Troina (MFPS, 2008)

The Space and Motion of Communicating Agents. - Robin Milner (Cambridge University Press, 2009)

Bigraphical Categories. - Robin Milner (CONCUR, 2009)

Unfolding CSP. - Mikkel Bundgaard; Robin Milner (Reflections on the Work of C. A. R. Hoare, 2010)

Discussant of Response to the Computer Journal Lecture by Morris Sloman. - Robin Milner (Comput. J., 2010)

An inductive characterization of matching in binding bigraphs. - Troels Christoffer Damgaard; Arne J. Glenstrup; Lars Birkedal; Robin Milner (Formal Aspects Comput., 2013)