Robin Milner

Publication Activity (10 Years)

Years Active: 1968-2013
Publications (10 Years): 0

Top Topics

Inductive Inference

Approximate Matching

Top Venues

Formal Aspects Comput.

Publications

Troels Christoffer Damgaard, Arne J. Glenstrup, Lars Birkedal, Robin Milner
An inductive characterization of matching in binding bigraphs. Formal Aspects Comput. 25 (2) (2013)
Robin Milner
by Morris Sloman. Comput. J. 53 (7) (2010)
Robin Milner
Bigraphical Categories. CONCUR (2009)
Jean Krivine, Robin Milner, Angelo Troina
Stochastic Bigraphs. MFPS (2008)
Robin Milner
Categories, Software and Meaning. Concurrency, Graphs and Models (2008)
Robin Milner
Bigraphs and Their Algebra. Electron. Notes Theor. Comput. Sci. 209 (2008)
Robin Milner
Keynote: The Space and Motion of Large Informatic Systems. BCS Int. Acad. Conf. (2008)
Lars Birkedal, Troels Christoffer Damgaard, Arne J. Glenstrup, Robin Milner
Matching of Bigraphs. Electron. Notes Theor. Comput. Sci. 175 (4) (2007)
Robin Milner
Ubiquitous Computing: Shall we Understand It? Comput. J. 49 (4) (2006)
Robin Milner
Local Bigraphs and Confluence: Two Conjectures: (Extended Abstract). EXPRESS (2006)
Robin Milner
Pervasive Process Calculus. Electron. Notes Theor. Comput. Sci. 162 (2006)
Robin Milner
Scientific Foundation for Global Computing. Trans. Comp. Sys. Biology 4 (2006)
James J. Leifer, Robin Milner
Transition systems, link graphs and Petri nets. Math. Struct. Comput. Sci. 16 (6) (2006)
Susan Stepney, Samuel L. Braunstein, John A. Clark, Andrew M. Tyrrell, Andrew Adamatzky, Robert E. Smith, Thomas R. Addis, Colin G. Johnson, Jonathan Timmis, Peter H. Welch, Robin Milner, Derek Partridge
Journeys in non-classical computation II: initial journeys and waypoints. Int. J. Parallel Emergent Distributed Syst. 21 (2) (2006)
Robin Milner
Pure bigraphs: Structure and dynamics. Inf. Comput. 204 (1) (2006)
Robin Milner
Embeddings and Contexts for Link Graphs. Formal Methods in Software and Systems Modeling (2005)
Robin Milner
The Spectra of Words. Processes, Terms and Cycles (2005)
Tony Hoare, Robin Milner
Grand Challenges for Computing Research. Comput. J. 48 (1) (2005)
Robin Milner
Axioms for bigraphical structure. Math. Struct. Comput. Sci. 15 (6) (2005)
Susan Stepney, Samuel L. Braunstein, John A. Clark, Andrew M. Tyrrell, Andrew Adamatzky, Robert E. Smith, Tom Addis, Colin G. Johnson, Jonathan Timmis, Peter H. Welch, Robin Milner, Derek Partridge
Journeys in non-classical computation I: A grand challenge for computing research. Parallel Algorithms Appl. 20 (1) (2005)
Robin Milner
Theories for the Global Ubiquitous Computer. FoSSaCS (2004)
Robin Milner
Towards a Broader Theory of Mobile Processes. IFIP TCS (2004)
Ole Høgh Jensen, Robin Milner
Bigraphs and transitions. POPL (2003)
Robin Milner
Bigraphs for Petri Nets. Lectures on Concurrency and Petri Nets (2003)
Robin Milner
Bigraphs as a Model for Mobile Interaction. ICGT (2002)
James J. Leifer, Robin Milner
Shallow Linear Action Graphs and their Embeddings. Formal Aspects Comput. 13 (3-5) (2002)
Robin Milner
Bigraphical Reactive Systems. CONCUR (2001)
Robin Milner
Computational flux. POPL (2001)
Robin Milner
The Flux of Interaction. ICATPN (2001)
Robin Milner
Graphical Theories of Interactive Systems: Can a Proof Assistant Help? TPHOLs (2000)
James J. Leifer, Robin Milner
Deriving Bisimulation Congruences for Reactive Systems. CONCUR (2000)
Robin Milner
The Pi Calculus and Its Applications (Keynote Address). IJCSLP (1998)
Robin Milner
Graphical Calculi for Interaction (Abstract). ICALP (1997)
Robin Milner
Strong Normalisation in Higher-Order Action Calculi. TACS (1997)
Robin Milner
Calculi for Interaction. Acta Informatica 33 (8) (1996)
Alex Mifsud, Robin Milner, A. John Power
Control Structures LICS (1995)
Robin Milner
Control Structures: a Model of Interaction. Category Theory and Computer Science (1995)
Robin Milner
Computing is Interaction. IFIP Congress (1) (1994)
Robin Milner
Pi-Nets: A Graphical Form of pi-Calculus. ESOP (1994)
Robin Milner
An Action Structure for Synchronous pi-Calculus. FCT (1993)
Robin Milner
Higher-Order Action Calculi. CSL (1993)
Robin Milner, Faron Moller
Unique Decomposition of Processes. Theor. Comput. Sci. 107 (2) (1993)
Robin Milner
Elements of Interaction - Turing Award Lecture. Commun. ACM 36 (1) (1993)
Robin Milner, Joachim Parrow, David Walker
Modal Logics for Mobile Processes. Theor. Comput. Sci. 114 (1) (1993)
Robin Milner
Action Calculi, or Syntactic Action Structures. MFCS (1993)
Karen A. Frenkel, Robin Milner
An Interview with Robin Milner. Commun. ACM 36 (1) (1993)
Dave Berry, Robin Milner, David N. Turner
A Semantics for ML Concurrency Primitives. POPL (1992)
Robin Milner, Joachim Parrow, David Walker
A Calculus of Mobile Processes, I Inf. Comput. 100 (1) (1992)
Kim Guldstrand Larsen, Robin Milner
A Compositional Protocol Verification Using Relativized Bisimulation Inf. Comput. 99 (1) (1992)
Robin Milner, Joachim Parrow, David Walker
A Calculus of Mobile Processes, II Inf. Comput. 100 (1) (1992)
Davide Sangiorgi, Robin Milner
The Problem of "Weak Bisimulation up to". CONCUR (1992)
Robin Milner
Functions as Processes. Math. Struct. Comput. Sci. 2 (2) (1992)
Robin Milner
Concurrent Processes as Objects. Refine (1992)
Robin Milner
The Polyadic Pi-calculus (Abstract). CONCUR (1992)
Robin Milner, Davide Sangiorgi
Barbed Bisimulation. ICALP (1992)
Pierre America, Robin Milner, Oscar Nierstrasz, Mario Tokoro, Akinori Yonezawa
What Is An Object? Object-Based Concurrent Computing (1991)
Robin Milner, Joachim Parrow, David Walker
Modal Logics for Mobile Processes. CONCUR (1991)
Robin Milner, Mads Tofte
Co-Induction in Relational Semantics. Theor. Comput. Sci. 87 (1) (1991)
Robin Milner
Concurrent Processes as Objects (Abstract). VDM Europe (1) (1991)
Robin Milner
Functions as Processes. ICALP (1990)
Robin Milner, Faron Moller
Unique decomposition of processes. Bull. EATCS 41 (1990)
Robin Milner
Interpreting one Concurrent Calculus in Another. Theor. Comput. Sci. 75 (1&2) (1990)
Gul Agha, Samson Abramsky, Carl Hewitt, Robin Milner, Peter Wegner, Akinori Yonezawa
Foundations of Concurrent Object-Oriented Programming (Panel). OOPSLA/ECOOP (1990)
Robin Milner
A Complete Axiomatisation for Observational Congruence of Finite-State Behaviors Inf. Comput. 81 (2) (1989)
Robin Milner
Interpreting One Concurrent Calculus in Another. FGCS (1988)
Robin Milner
Some Directions in Concurrency Theory. FGCS (1988)
Robin Milner
Is Computing an Experimental Science? J. Inf. Technol. 2 (2) (1987)
Robert Harper, Robin Milner, Mads Tofte
A Type Discipline for Program Modules. TAPSOFT, Vol.2 (1987)
Robin Milner
Some Uses of Maximal Fixed Points (Abstract of Invited Lecture) LICS (1987)
Robin Milner
Dialogue with a Proof System. TAPSOFT, Vol.1 (1987)
Kim Guldstrand Larsen, Robin Milner
Verifying a Protocol Using Relativized Bisimulation. ICALP (1987)
Robin Milner
Process Constructors and Interpretations (Invited Paper). IFIP Congress (1986)
Matthew Hennessy, Robin Milner
Algebraic Laws for Nondeterminism and Concurrency J. ACM 32 (1) (1985)
Robin Milner
Lectures on a Calculus for Communicating Systems. Seminar on Concurrency (1984)
Robin Milner
A Proposal for Standard ML. LISP and Functional Programming (1984)
Robin Milner
A Complete Inference System for a Class of Regular Behaviours. J. Comput. Syst. Sci. 28 (3) (1984)
Robin Milner
Firing Squad. The Analysis of Concurrent Systems (1983)
Robin Milner
Calculi for Synchrony and Asynchrony. Theor. Comput. Sci. 25 (1983)
Robin Milner
Parallel Combinator Reduction Machine. The Analysis of Concurrent Systems (1983)
Robin Milner
Using Algebra for Concurrency: Some Approaches. The Analysis of Concurrent Systems (1983)
Robin Milner
Four Combinators for Concurrency. PODC (1982)
Luís Damas, Robin Milner
Principal Type-Schemes for Functional Programs. POPL (1982)
Robin Milner
A Modal Characterisation of Observable Machine-Behaviour. CAAP (1981)
Matthew Hennessy, Robin Milner
On Observing Nondeterminism and Concurrency. ICALP (1980)
Robin Milner
LCF: A Way of Doing Proofs with a Machine. MFCS (1979)
Robin Milner
Flowgraphs and Flow Algebras. J. ACM 26 (4) (1979)
Robin Milner
An Algebraic Theory for Synchronization. Theoretical Computer Science (1979)
George J. Milne, Robin Milner
Concurrent Processes and Their Syntax. J. ACM 26 (2) (1979)
Robin Milner
Synthesis of Communicating Behaviour. MFCS (1978)
Michael J. C. Gordon, Robin Milner, L. Morris, Malcolm C. Newey, Christopher P. Wadsworth
A Metalanguage for Interactive Proof in LCF. POPL (1978)
Robin Milner
A Theory of Type Polymorphism in Programming. J. Comput. Syst. Sci. 17 (3) (1978)
Robin Milner
-Calculi. Theor. Comput. Sci. 4 (1) (1977)
Robin Milner
A calculus for the mathematical theory of computation. International Sympoisum on Theoretical Programming (1972)
Robin Milner
Implementation and applications of Scott's logic for computable functions. Proving Assertions About Programs (1972)
Robin Milner
An Algebraic Definition of Simulation Between Programs. IJCAI (1971)
Robin Milner
Equivalences on Program Schemes. J. Comput. Syst. Sci. 4 (3) (1970)
Robin Milner
String Handling in ALGOL. Comput. J. 10 (4) (1968)