Search the dblp DataBase
Robin Milner :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Robin Milner A Theory of Type Polymorphism in Programming. [Citation Graph (26, 0)][DBLP ] J. Comput. Syst. Sci., 1978, v:17, n:3, pp:348-375 [Journal ] Robin Milner A Proposal for Standard ML. [Citation Graph (6, 0)][DBLP ] LISP and Functional Programming, 1984, pp:184-197 [Conf ] Michael J. C. Gordon , Robin Milner , L. Morris , Malcolm C. Newey , Christopher P. Wadsworth A Metalanguage for Interactive Proof in LCF. [Citation Graph (3, 0)][DBLP ] POPL, 1978, pp:119-130 [Conf ] Luís Damas , Robin Milner Principal Type-Schemes for Functional Programs. [Citation Graph (2, 0)][DBLP ] POPL, 1982, pp:207-212 [Conf ] George Milne , Robin Milner Concurrent Processes and Their Syntax. [Citation Graph (1, 0)][DBLP ] J. ACM, 1979, v:26, n:2, pp:302-321 [Journal ] Robin Milner Flowgraphs and Flow Algebras. [Citation Graph (1, 0)][DBLP ] J. ACM, 1979, v:26, n:4, pp:794-818 [Journal ] Robin Milner Bigraphs for Petri Nets. [Citation Graph (0, 0)][DBLP ] Lectures on Concurrency and Petri Nets, 2003, pp:686-701 [Conf ] Robin Milner Using Algebra for Concurrency: Some Approaches. [Citation Graph (0, 0)][DBLP ] The Analysis of Concurrent Systems, 1983, pp:7-25 [Conf ] Robin Milner Parallel Combinator Reduction Machine. [Citation Graph (0, 0)][DBLP ] The Analysis of Concurrent Systems, 1983, pp:121-126 [Conf ] Robin Milner Firing Squad. [Citation Graph (0, 0)][DBLP ] The Analysis of Concurrent Systems, 1983, pp:314-317 [Conf ] Robin Milner The Flux of Interaction. [Citation Graph (0, 0)][DBLP ] ICATPN, 2001, pp:19-22 [Conf ] Robin Milner Embeddings and Contexts for Link Graphs. [Citation Graph (0, 0)][DBLP ] Formal Methods in Software and Systems Modeling, 2005, pp:343-351 [Conf ] Robin Milner The Spectra of Words. [Citation Graph (0, 0)][DBLP ] Processes, Terms and Cycles, 2005, pp:1-5 [Conf ] Robin Milner A Modal Characterisation of Observable Machine-Behaviour. [Citation Graph (0, 0)][DBLP ] CAAP, 1981, pp:25-34 [Conf ] James J. Leifer , Robin Milner Deriving Bisimulation Congruences for Reactive Systems. [Citation Graph (0, 0)][DBLP ] CONCUR, 2000, pp:243-258 [Conf ] Robin Milner Lectures on a Calculus for Communicating Systems. [Citation Graph (0, 0)][DBLP ] Seminar on Concurrency, 1984, pp:197-220 [Conf ] Robin Milner Bigraphical Reactive Systems. [Citation Graph (0, 0)][DBLP ] CONCUR, 2001, pp:16-35 [Conf ] Robin Milner The Polyadic Pi-calculus (Abstract). [Citation Graph (0, 0)][DBLP ] CONCUR, 1992, pp:1- [Conf ] Robin Milner , Joachim Parrow , David Walker Modal Logics for Mobile Processes. [Citation Graph (0, 0)][DBLP ] CONCUR, 1991, pp:45-60 [Conf ] Davide Sangiorgi , Robin Milner The Problem of ``Weak Bisimulation up to''. [Citation Graph (0, 0)][DBLP ] CONCUR, 1992, pp:32-46 [Conf ] Robin Milner Higher-Order Action Calculi. [Citation Graph (0, 0)][DBLP ] CSL, 1993, pp:238-260 [Conf ] Robin Milner Control Structures: a Model of Interaction. [Citation Graph (0, 0)][DBLP ] Category Theory and Computer Science, 1995, pp:1-2 [Conf ] Pierre America , Robin Milner , Oscar Nierstrasz , Mario Tokoro , Akinori Yonezawa What Is An Object? [Citation Graph (0, 0)][DBLP ] Object-Based Concurrent Computing, 1991, pp:257-264 [Conf ] Robin Milner A calculus for the mathematical theory of computation. [Citation Graph (0, 0)][DBLP ] International Sympoisum on Theoretical Programming, 1972, pp:332-343 [Conf ] Robin Milner Pi-Nets: A Graphical Form of pi-Calculus. [Citation Graph (0, 0)][DBLP ] ESOP, 1994, pp:26-42 [Conf ] Robin Milner An Action Structure for Synchronous pi-Calculus. [Citation Graph (0, 0)][DBLP ] FCT, 1993, pp:87-105 [Conf ] Robin Milner Some Directions in Concurrency Theory. [Citation Graph (0, 0)][DBLP ] FGCS, 1988, pp:163-164 [Conf ] Robin Milner Interpreting One Concurrent Calculus in Another. [Citation Graph (0, 0)][DBLP ] FGCS, 1988, pp:321-326 [Conf ] Robin Milner Concurrent Processes as Objects (Abstract). [Citation Graph (0, 0)][DBLP ] VDM Europe (1), 1991, pp:9- [Conf ] Robin Milner Theories for the Global Ubiquitous Computer. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2004, pp:5-11 [Conf ] Robin Milner Bigraphs as a Model for Mobile Interaction. [Citation Graph (0, 0)][DBLP ] ICGT, 2002, pp:8-13 [Conf ] Matthew Hennessy , Robin Milner On Observing Nondeterminism and Concurrency. [Citation Graph (0, 0)][DBLP ] ICALP, 1980, pp:299-309 [Conf ] Kim Guldstrand Larsen , Robin Milner Verifying a Protocol Using Relativized Bisimulation. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:126-135 [Conf ] Robin Milner Functions as Processes. [Citation Graph (0, 0)][DBLP ] ICALP, 1990, pp:167-180 [Conf ] Robin Milner Graphical Calculi for Interaction (Abstract). [Citation Graph (0, 0)][DBLP ] ICALP, 1997, pp:1- [Conf ] Robin Milner , Davide Sangiorgi Barbed Bisimulation. [Citation Graph (0, 0)][DBLP ] ICALP, 1992, pp:685-695 [Conf ] Robin Milner The Pi Calculus and Its Applications (Keynote Address). [Citation Graph (0, 0)][DBLP ] IJCSLP, 1998, pp:3-4 [Conf ] Robin Milner Process Constructors and Interpretations (Invited Paper). [Citation Graph (0, 0)][DBLP ] IFIP Congress, 1986, pp:507-514 [Conf ] Robin Milner Computing is Interaction. [Citation Graph (0, 0)][DBLP ] IFIP Congress (1), 1994, pp:232-233 [Conf ] Robin Milner Towards a Broader Theory of Mobile Processes. [Citation Graph (0, 0)][DBLP ] IFIP TCS, 2004, pp:19- [Conf ] Robin Milner An Algebraic Definition of Simulation Between Programs. [Citation Graph (0, 0)][DBLP ] IJCAI, 1971, pp:481-489 [Conf ] Alex Mifsud , Robin Milner , A. John Power Control Structures [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:188-198 [Conf ] Robin Milner Some Uses of Maximal Fixed Points (Abstract of Invited Lecture) [Citation Graph (0, 0)][DBLP ] LICS, 1987, pp:3- [Conf ] Robin Milner Synthesis of Communicating Behaviour. [Citation Graph (0, 0)][DBLP ] MFCS, 1978, pp:71-83 [Conf ] Robin Milner LCF: A Way of Doing Proofs with a Machine. [Citation Graph (0, 0)][DBLP ] MFCS, 1979, pp:146-159 [Conf ] Robin Milner Action Calculi, or Syntactic Action Structures. [Citation Graph (0, 0)][DBLP ] MFCS, 1993, pp:105-121 [Conf ] Gul Agha , Samson Abramsky , Carl Hewitt , Robin Milner , Peter Wegner , Akinori Yonezawa Foundations of Concurrent Object-Oriented Programming (Panel). [Citation Graph (0, 0)][DBLP ] OOPSLA/ECOOP, 1990, pp:100- [Conf ] Robin Milner Four Combinators for Concurrency. [Citation Graph (0, 0)][DBLP ] PODC, 1982, pp:104-110 [Conf ] Dave Berry , Robin Milner , David N. Turner A Semantics for ML Concurrency Primitives. [Citation Graph (0, 0)][DBLP ] POPL, 1992, pp:119-129 [Conf ] Ole Høgh Jensen , Robin Milner Bigraphs and transitions. [Citation Graph (0, 0)][DBLP ] POPL, 2003, pp:38-49 [Conf ] Robin Milner Computational flux. [Citation Graph (0, 0)][DBLP ] POPL, 2001, pp:220-221 [Conf ] Robin Milner Strong Normalisation in Higher-Order Action Calculi. [Citation Graph (0, 0)][DBLP ] TACS, 1997, pp:1-19 [Conf ] Robert Harper , Robin Milner , Mads Tofte A Type Discipline for Program Modules. [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.2, 1987, pp:308-319 [Conf ] Robin Milner Dialogue with a Proof System. [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.1, 1987, pp:271-275 [Conf ] Robin Milner An Algebraic Theory for Synchronization. [Citation Graph (0, 0)][DBLP ] Theoretical Computer Science, 1979, pp:27-35 [Conf ] Robin Milner Graphical Theories of Interactive Systems: Can a Proof Assistant Help? [Citation Graph (0, 0)][DBLP ] TPHOLs, 2000, pp:442- [Conf ] Robin Milner Calculi for Interaction. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1996, v:33, n:8, pp:707-737 [Journal ] Karen A. Frenkel , Robin Milner An Interview with Robin Milner. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1993, v:36, n:1, pp:90-97 [Journal ] Robin Milner Elements of Interaction - Turing Award Lecture. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1993, v:36, n:1, pp:78-89 [Journal ] Tony Hoare , Robin Milner Grand Challenges for Computing Research. [Citation Graph (0, 0)][DBLP ] Comput. J., 2005, v:48, n:1, pp:49-52 [Journal ] Robin Milner Ubiquitous Computing: Shall we Understand It? [Citation Graph (0, 0)][DBLP ] Comput. J., 2006, v:49, n:4, pp:383-389 [Journal ] Robin Milner , Faron Moller Unique decomposition of processes. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1990, v:41, n:, pp:226-233 [Journal ] Robin Milner Pervasive Process Calculus. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:255-259 [Journal ] James J. Leifer , Robin Milner Shallow Linear Action Graphs and their Embeddings. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2002, v:13, n:3-5, pp:327-340 [Journal ] Kim Guldstrand Larsen , Robin Milner A Compositional Protocol Verification Using Relativized Bisimulation [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1992, v:99, n:1, pp:80-108 [Journal ] Robin Milner Pure bigraphs: Structure and dynamics. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2006, v:204, n:1, pp:60-122 [Journal ] Robin Milner A Complete Axiomatisation for Observational Congruence of Finite-State Behaviors [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1989, v:81, n:2, pp:227-247 [Journal ] Robin Milner , Joachim Parrow , David Walker A Calculus of Mobile Processes, I [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1992, v:100, n:1, pp:1-40 [Journal ] Robin Milner , Joachim Parrow , David Walker A Calculus of Mobile Processes, II [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1992, v:100, n:1, pp:41-77 [Journal ] Matthew Hennessy , Robin Milner Algebraic Laws for Nondeterminism and Concurrency [Citation Graph (0, 0)][DBLP ] J. ACM, 1985, v:32, n:1, pp:137-161 [Journal ] Robin Milner Equivalences on Program Schemes. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1970, v:4, n:3, pp:205-219 [Journal ] Robin Milner A Complete Inference System for a Class of Regular Behaviours. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1984, v:28, n:3, pp:439-466 [Journal ] Robin Milner Functions as Processes. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1992, v:2, n:2, pp:119-141 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Parallel Algorithms Appl., 2006, v:21, n:2, pp:97-125 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Parallel Algorithms Appl., 2005, v:20, n:1, pp:5-19 [Journal ] Robin Milner Fully Abstract Models of Typed lambda -Calculi. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1977, v:4, n:1, pp:1-22 [Journal ] Robin Milner Calculi for Synchrony and Asynchrony. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1983, v:25, n:, pp:267-310 [Journal ] Robin Milner Interpreting one Concurrent Calculus in Another. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1990, v:75, n:1&2, pp:3-13 [Journal ] Robin Milner , Faron Moller Unique Decomposition of Processes. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1993, v:107, n:2, pp:357-363 [Journal ] Robin Milner , Joachim Parrow , David Walker Modal Logics for Mobile Processes. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1993, v:114, n:1, pp:149-171 [Journal ] Robin Milner , Mads Tofte Co-Induction in Relational Semantics. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1991, v:87, n:1, pp:209-220 [Journal ] Robin Milner Scientific Foundation for Global Computing. [Citation Graph (0, 0)][DBLP ] , 2006, v:, n:, pp:1-13 [Journal ] Robin Milner Local Bigraphs and Confluence: Two Conjectures: (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:175, n:3, pp:65-73 [Journal ] Lars Birkedal , Troels Christoffer Damgaard , Arne J. Glenstrup , Robin Milner Matching of Bigraphs. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:175, n:4, pp:3-19 [Journal ] Categories, Software and Meaning. [Citation Graph (, )][DBLP ] Bigraphical Categories. [Citation Graph (, )][DBLP ] Keynote: The Space and Motion of Large Informatic Systems. [Citation Graph (, )][DBLP ] Bigraphs and Their Algebra. [Citation Graph (, )][DBLP ] Stochastic Bigraphs. [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.461secs