Robin Milner - RankMe

107 papers A* 15A 1B 14Journal 34Unranked 34

Year	Rank	Type	Title / Venue / Authors
2013	J	`jnl`	An inductive characterization of matching in binding bigraphs. Formal Aspects Comput. Troels Christoffer Damgaard, Arne J. Glenstrup, Lars Birkedal, Robin Milner
2010	J	`jnl`	Discussant of Response to the Comput. J. Robin Milner
2010	—	`ch.`	Unfolding CSP. Reflections on the Work of C. A. R. Hoare Mikkel Bundgaard, Robin Milner
2009	B	`conf`	Bigraphical Categories. CONCUR Robin Milner
2009	—	`book`	The Space and Motion of Communicating Agents. Robin Milner
2008	—	`conf`	Categories, Software and Meaning. Concurrency, Graphs and Models Robin Milner
2008	—	`conf`	Keynote: The Space and Motion of Large Informatic Systems. BCS Int. Acad. Conf. Robin Milner
2008	B	`conf`	Stochastic Bigraphs. MFPS Jean Krivine, Robin Milner, Angelo Troina
2006	—	`conf`	Bigraphs and Their Algebra. LIX Robin Milner
2006	J	`jnl`	Journeys in non-classical computation II: initial journeys and waypoints. Int. J. Parallel Emergent Distributed Syst. 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
2006	—	`conf`	Local Bigraphs and Confluence: Two Conjectures: (Extended Abstract). EXPRESS Robin Milner
2006	—	`conf`	Matching of Bigraphs. GT-VC@CONCUR Lars Birkedal, Troels Christoffer Damgaard, Arne J. Glenstrup, Robin Milner
2006	J	`jnl`	Pure bigraphs: Structure and dynamics. Inf. Comput. Robin Milner
2006	J	`jnl`	Scientific Foundation for Global Computing. Trans. Comp. Sys. Biology Robin Milner
2006	J	`jnl`	Transition systems, link graphs and Petri nets. Math. Struct. Comput. Sci. James J. Leifer, Robin Milner
2006	J	`jnl`	Ubiquitous Computing: Shall we Understand It? Comput. J. Robin Milner
2005	J	`jnl`	Axioms for bigraphical structure. Math. Struct. Comput. Sci. Robin Milner
2005	—	`conf`	Embeddings and Contexts for Link Graphs. Formal Methods in Software and Systems Modeling Robin Milner
2005	J	`jnl`	Grand Challenges for Computing Research. Comput. J. Tony Hoare, Robin Milner
2005	J	`jnl`	Journeys in non-classical computation I: A grand challenge for computing research. Parallel Algorithms Appl. 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
2005	—	`conf`	Pervasive Process Calculus. APC 25 Robin Milner
2005	—	`conf`	The Spectra of Words. Processes, Terms and Cycles Robin Milner
2004	B	`conf`	Theories for the Global Ubiquitous Computer. FoSSaCS Robin Milner
2004	—	`conf`	Towards a Broader Theory of Mobile Processes. IFIP TCS Robin Milner
2003	A*	`conf`	Bigraphs and transitions. POPL Ole Høgh Jensen, Robin Milner
2003	—	`conf`	Bigraphs for Petri Nets. Lectures on Concurrency and Petri Nets Robin Milner
2002	B	`conf`	Bigraphs as a Model for Mobile Interaction. ICGT Robin Milner
2002	J	`jnl`	Shallow Linear Action Graphs and their Embeddings. Formal Aspects Comput. James J. Leifer, Robin Milner
2001	B	`conf`	Bigraphical Reactive Systems. CONCUR Robin Milner
2001	A*	`conf`	Computational flux. POPL Robin Milner
2001	—	`conf`	The Flux of Interaction. ICATPN Robin Milner
2000	B	`conf`	Deriving Bisimulation Congruences for Reactive Systems. CONCUR James J. Leifer, Robin Milner
2000	—	`conf`	Graphical Theories of Interactive Systems: Can a Proof Assistant Help? TPHOLs Robin Milner
1999	—	`book`	Communicating and mobile systems - the Pi-calculus. Robin Milner
1998	—	`conf`	The Pi Calculus and Its Applications (Keynote Address). IJCSLP Robin Milner
1997	A*	`conf`	Graphical Calculi for Interaction (Abstract). ICALP Robin Milner
1997	—	`conf`	Strong Normalisation in Higher-Order Action Calculi. TACS Robin Milner
1996	J	`jnl`	Calculi for Interaction. Acta Informatica Robin Milner
1995	A*	`conf`	Control Structures LICS Alex Mifsud, Robin Milner, A. John Power
1995	—	`conf`	Control Structures: a Model of Interaction. Category Theory and Computer Science Robin Milner
1994	—	`conf`	Computing is Interaction. IFIP Congress (1) Robin Milner
1994	A	`conf`	Pi-Nets: A Graphical Form of pi-Calculus. ESOP Robin Milner
1993	B	`conf`	Action Calculi, or Syntactic Action Structures. MFCS Robin Milner
1993	B	`conf`	An Action Structure for Synchronous pi-Calculus. FCT Robin Milner
1993	J	`jnl`	An Interview with Robin Milner. Commun. ACM Karen A. Frenkel, Robin Milner
1993	J	`jnl`	Elements of Interaction - Turing Award Lecture. Commun. ACM Robin Milner
1993	B	`conf`	Higher-Order Action Calculi. CSL Robin Milner
1993	J	`jnl`	Modal Logics for Mobile Processes. Theor. Comput. Sci. Robin Milner, Joachim Parrow, David Walker
1993	J	`jnl`	Unique Decomposition of Processes. Theor. Comput. Sci. Robin Milner, Faron Moller
1992	J	`jnl`	A Calculus of Mobile Processes, I Inf. Comput. Robin Milner, Joachim Parrow, David Walker
1992	J	`jnl`	A Calculus of Mobile Processes, II Inf. Comput. Robin Milner, Joachim Parrow, David Walker
1992	J	`jnl`	A Compositional Protocol Verification Using Relativized Bisimulation Inf. Comput. Kim Guldstrand Larsen, Robin Milner
1992	A*	`conf`	A Semantics for ML Concurrency Primitives. POPL Dave Berry, Robin Milner, David N. Turner
1992	A*	`conf`	Barbed Bisimulation. ICALP Robin Milner, Davide Sangiorgi
1992	—	`conf`	Concurrent Processes as Objects. Refine Robin Milner
1992	J	`jnl`	Functions as Processes. Math. Struct. Comput. Sci. Robin Milner
1992	B	`conf`	The Polyadic Pi-calculus (Abstract). CONCUR Robin Milner
1992	B	`conf`	The Problem of "Weak Bisimulation up to". CONCUR Davide Sangiorgi, Robin Milner
1991	J	`jnl`	Co-Induction in Relational Semantics. Theor. Comput. Sci. Robin Milner, Mads Tofte
1991	—	`book`	Commentary on standard ML. Robin Milner, Mads Tofte
1991	—	`conf`	Concurrent Processes as Objects (Abstract). VDM Europe (1) Robin Milner
1991	B	`conf`	Modal Logics for Mobile Processes. CONCUR Robin Milner, Joachim Parrow, David Walker
1991	—	`conf`	What Is An Object? Object-Based Concurrent Computing Pierre America, Robin Milner, Oscar Nierstrasz, Mario Tokoro, Akinori Yonezawa
1990	—	`book`	Definition of standard ML. Robin Milner, Mads Tofte, Robert Harper
1990	—	`conf`	Foundations of Concurrent Object-Oriented Programming (Panel). OOPSLA/ECOOP Gul Agha, Samson Abramsky, Carl Hewitt, Robin Milner, Peter Wegner, Akinori Yonezawa
1990	A*	`conf`	Functions as Processes. ICALP Robin Milner
1990	J	`jnl`	Interpreting one Concurrent Calculus in Another. Theor. Comput. Sci. Robin Milner
1990	—	`ch.`	Operational and Algebraic Semantics of Concurrent Processes. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) Robin Milner
1990	J	`jnl`	Unique decomposition of processes. Bull. EATCS Robin Milner, Faron Moller
1989	J	`jnl`	A Complete Axiomatisation for Observational Congruence of Finite-State Behaviors Inf. Comput. Robin Milner
1989	—	`book`	Communication and concurrency. Robin Milner
1988	—	`conf`	Interpreting One Concurrent Calculus in Another. FGCS Robin Milner
1988	—	`conf`	Some Directions in Concurrency Theory. FGCS Robin Milner
1987	—	`conf`	A Type Discipline for Program Modules. TAPSOFT, Vol.2 Robert Harper, Robin Milner, Mads Tofte
1987	—	`conf`	Dialogue with a Proof System. TAPSOFT, Vol.1 Robin Milner
1987	J	`jnl`	Is Computing an Experimental Science? J. Inf. Technol. Robin Milner
1987	A*	`conf`	Some Uses of Maximal Fixed Points (Abstract of Invited Lecture) LICS Robin Milner
1987	A*	`conf`	Verifying a Protocol Using Relativized Bisimulation. ICALP Kim Guldstrand Larsen, Robin Milner
1986	—	`conf`	Process Constructors and Interpretations (Invited Paper). IFIP Congress Robin Milner
1985	J	`jnl`	Algebraic Laws for Nondeterminism and Concurrency J. ACM Matthew Hennessy, Robin Milner
1984	J	`jnl`	A Complete Inference System for a Class of Regular Behaviours. J. Comput. Syst. Sci. Robin Milner
1984	—	`conf`	A Proposal for Standard ML. LISP and Functional Programming Robin Milner
1984	—	`conf`	Lectures on a Calculus for Communicating Systems. Seminar on Concurrency Robin Milner
1983	J	`jnl`	Calculi for Synchrony and Asynchrony. Theor. Comput. Sci. Robin Milner
1983	—	`conf`	Firing Squad. The Analysis of Concurrent Systems Robin Milner
1983	—	`conf`	Parallel Combinator Reduction Machine. The Analysis of Concurrent Systems Robin Milner
1983	—	`conf`	Using Algebra for Concurrency: Some Approaches. The Analysis of Concurrent Systems Robin Milner
1982	A*	`conf`	Four Combinators for Concurrency. PODC Robin Milner
1982	A*	`conf`	Principal Type-Schemes for Functional Programs. POPL Luís Damas, Robin Milner
1981	—	`conf`	A Modal Characterisation of Observable Machine-Behaviour. CAAP Robin Milner
1980	—	`book`	A Calculus of Communicating Systems Robin Milner
1980	A*	`conf`	On Observing Nondeterminism and Concurrency. ICALP Matthew Hennessy, Robin Milner
1979	—	`conf`	An Algebraic Theory for Synchronization. Theoretical Computer Science Robin Milner
1979	J	`jnl`	Concurrent Processes and Their Syntax. J. ACM George J. Milne, Robin Milner
1979	—	`book`	Edinburgh LCF Michael J. C. Gordon, Robin Milner, Christopher P. Wadsworth
1979	J	`jnl`	Flowgraphs and Flow Algebras. J. ACM Robin Milner
1979	B	`conf`	LCF: A Way of Doing Proofs with a Machine. MFCS Robin Milner
1978	A*	`conf`	A Metalanguage for Interactive Proof in LCF. POPL Michael J. C. Gordon, Robin Milner, F. Lockwood Morris, Malcolm C. Newey, Christopher P. Wadsworth
1978	J	`jnl`	A Theory of Type Polymorphism in Programming. J. Comput. Syst. Sci. Robin Milner
1978	B	`conf`	Synthesis of Communicating Behaviour. MFCS Robin Milner
1977	J	`jnl`	Fully Abstract Models of Typed Theor. Comput. Sci. Robin Milner
1976	A*	`ed.`	Third International Colloquium on Automata, Languages and Programming, University of Edinburgh, UK, July 20-23, 1976 ICALP S. Michaelson, Robin Milner
1972	—	`conf`	A calculus for the mathematical theory of computation. International Sympoisum on Theoretical Programming Robin Milner
1972	—	`conf`	Implementation and applications of Scott's logic for computable functions. Proving Assertions About Programs Robin Milner
1971	A*	`conf`	An Algebraic Definition of Simulation Between Programs. IJCAI Robin Milner
1970	J	`jnl`	Equivalences on Program Schemes. J. Comput. Syst. Sci. Robin Milner
1968	J	`jnl`	String Handling in ALGOL. Comput. J. Robin Milner