| 2009 | CONCUR | Bigraphical Categories. | Robin Milner |
| 2004 | FOSSACS | Theories for the Global Ubiquitous Computer. | Robin Milner |
| 2003 | POPL | Bigraphs and transitions. | Ole Hgh Jensen, Robin Milner |
| 2001 | CONCUR | Bigraphical Reactive Systems. | Robin Milner |
| 2001 | POPL | Computational flux. | Robin Milner |
| 2000 | CONCUR | Deriving Bisimulation Congruences for Reactive Systems. | James J. Leifer, Robin Milner |
| 1998 | ICLP | The Pi Calculus and Its Applications (Keynote Address). | Robin Milner |
| 1997 | ICALP | Graphical Calculi for Interaction (Abstract). | Robin Milner |
| 1995 | LICS | Control Structures | Alex Mifsud, Robin Milner, A. John Power |
| 1994 | ESOP | Pi-Nets: A Graphical Form of pi-Calculus. | Robin Milner |
| 1993 | CSL | Higher-Order Action Calculi. | Robin Milner |
| 1993 | FCT | An Action Structure for Synchronous pi-Calculus. | Robin Milner |
| 1993 | MFCS | Action Calculi, or Syntactic Action Structures. | Robin Milner |
| 1992 | CONCUR | The Polyadic Pi-calculus (Abstract). | Robin Milner |
| 1992 | CONCUR | The Problem of "Weak Bisimulation up to". | Davide Sangiorgi, Robin Milner |
| 1992 | ICALP | Barbed Bisimulation. | Robin Milner, Davide Sangiorgi |
| 1992 | POPL | A Semantics for ML Concurrency Primitives. | Dave Berry, Robin Milner, David N. Turner |
| 1991 | CONCUR | Modal Logics for Mobile Processes. | Robin Milner, Joachim Parrow, David Walker |
| 1991 | FM | Concurrent Processes as Objects (Abstract). | Robin Milner |
| 1990 | ICALP | Functions as Processes. | Robin Milner |
| 1990 | OOPSLA | Foundations of Concurrent Object-Oriented Programming (Panel). | Gul Agha, Samson Abramsky, Carl Hewitt, Robin Milner, Peter Wegner, Akinori Yonezawa |
| 1987 | ICALP | Verifying a Protocol Using Relativized Bisimulation. | Kim Guldstrand Larsen, Robin Milner |
| 1987 | LICS | Some Uses of Maximal Fixed Points (Abstract of Invited Lecture) | Robin Milner |
| 1984 | CONCUR | Lectures on a Calculus for Communicating Systems. | Robin Milner |
| 1982 | PODC | Four Combinators for Concurrency. | Robin Milner |
| 1982 | POPL | Principal Type-Schemes for Functional Programs. | Lus Damas, Robin Milner |
| 1980 | ICALP | On Observing Nondeterminism and Concurrency. | Matthew Hennessy, Robin Milner |
| 1979 | MFCS | LCF: A Way of Doing Proofs with a Machine. | Robin Milner |
| 1978 | MFCS | Synthesis of Communicating Behaviour. | Robin Milner |
| 1978 | POPL | A Metalanguage for Interactive Proof in LCF. | Michael J. C. Gordon, Robin Milner, F. Lockwood Morris, Malcolm C. Newey, Christopher P. Wadsworth |
| 1971 | IJCAI | An Algebraic Definition of Simulation Between Programs. | Robin Milner |