The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Robin Milner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Robin Milner
    A Proposal for Standard ML. [Citation Graph (6, 0)][DBLP]
    LISP and Functional Programming, 1984, pp:184-197 [Conf]
  3. 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]
  4. Luís Damas, Robin Milner
    Principal Type-Schemes for Functional Programs. [Citation Graph (2, 0)][DBLP]
    POPL, 1982, pp:207-212 [Conf]
  5. 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]
  6. Robin Milner
    Flowgraphs and Flow Algebras. [Citation Graph (1, 0)][DBLP]
    J. ACM, 1979, v:26, n:4, pp:794-818 [Journal]
  7. Robin Milner
    Bigraphs for Petri Nets. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:686-701 [Conf]
  8. Robin Milner
    Using Algebra for Concurrency: Some Approaches. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:7-25 [Conf]
  9. Robin Milner
    Parallel Combinator Reduction Machine. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:121-126 [Conf]
  10. Robin Milner
    Firing Squad. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:314-317 [Conf]
  11. Robin Milner
    The Flux of Interaction. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:19-22 [Conf]
  12. 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]
  13. Robin Milner
    The Spectra of Words. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:1-5 [Conf]
  14. Robin Milner
    A Modal Characterisation of Observable Machine-Behaviour. [Citation Graph (0, 0)][DBLP]
    CAAP, 1981, pp:25-34 [Conf]
  15. James J. Leifer, Robin Milner
    Deriving Bisimulation Congruences for Reactive Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:243-258 [Conf]
  16. Robin Milner
    Lectures on a Calculus for Communicating Systems. [Citation Graph (0, 0)][DBLP]
    Seminar on Concurrency, 1984, pp:197-220 [Conf]
  17. Robin Milner
    Bigraphical Reactive Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:16-35 [Conf]
  18. Robin Milner
    The Polyadic Pi-calculus (Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:1- [Conf]
  19. Robin Milner, Joachim Parrow, David Walker
    Modal Logics for Mobile Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1991, pp:45-60 [Conf]
  20. Davide Sangiorgi, Robin Milner
    The Problem of ``Weak Bisimulation up to''. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:32-46 [Conf]
  21. Robin Milner
    Higher-Order Action Calculi. [Citation Graph (0, 0)][DBLP]
    CSL, 1993, pp:238-260 [Conf]
  22. Robin Milner
    Control Structures: a Model of Interaction. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1995, pp:1-2 [Conf]
  23. 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]
  24. 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]
  25. Robin Milner
    Pi-Nets: A Graphical Form of pi-Calculus. [Citation Graph (0, 0)][DBLP]
    ESOP, 1994, pp:26-42 [Conf]
  26. Robin Milner
    An Action Structure for Synchronous pi-Calculus. [Citation Graph (0, 0)][DBLP]
    FCT, 1993, pp:87-105 [Conf]
  27. Robin Milner
    Some Directions in Concurrency Theory. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:163-164 [Conf]
  28. Robin Milner
    Interpreting One Concurrent Calculus in Another. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:321-326 [Conf]
  29. Robin Milner
    Concurrent Processes as Objects (Abstract). [Citation Graph (0, 0)][DBLP]
    VDM Europe (1), 1991, pp:9- [Conf]
  30. Robin Milner
    Theories for the Global Ubiquitous Computer. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:5-11 [Conf]
  31. Robin Milner
    Bigraphs as a Model for Mobile Interaction. [Citation Graph (0, 0)][DBLP]
    ICGT, 2002, pp:8-13 [Conf]
  32. Matthew Hennessy, Robin Milner
    On Observing Nondeterminism and Concurrency. [Citation Graph (0, 0)][DBLP]
    ICALP, 1980, pp:299-309 [Conf]
  33. Kim Guldstrand Larsen, Robin Milner
    Verifying a Protocol Using Relativized Bisimulation. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:126-135 [Conf]
  34. Robin Milner
    Functions as Processes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1990, pp:167-180 [Conf]
  35. Robin Milner
    Graphical Calculi for Interaction (Abstract). [Citation Graph (0, 0)][DBLP]
    ICALP, 1997, pp:1- [Conf]
  36. Robin Milner, Davide Sangiorgi
    Barbed Bisimulation. [Citation Graph (0, 0)][DBLP]
    ICALP, 1992, pp:685-695 [Conf]
  37. Robin Milner
    The Pi Calculus and Its Applications (Keynote Address). [Citation Graph (0, 0)][DBLP]
    IJCSLP, 1998, pp:3-4 [Conf]
  38. Robin Milner
    Process Constructors and Interpretations (Invited Paper). [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:507-514 [Conf]
  39. Robin Milner
    Computing is Interaction. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1994, pp:232-233 [Conf]
  40. Robin Milner
    Towards a Broader Theory of Mobile Processes. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:19- [Conf]
  41. Robin Milner
    An Algebraic Definition of Simulation Between Programs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1971, pp:481-489 [Conf]
  42. Alex Mifsud, Robin Milner, A. John Power
    Control Structures [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:188-198 [Conf]
  43. Robin Milner
    Some Uses of Maximal Fixed Points (Abstract of Invited Lecture) [Citation Graph (0, 0)][DBLP]
    LICS, 1987, pp:3- [Conf]
  44. Robin Milner
    Synthesis of Communicating Behaviour. [Citation Graph (0, 0)][DBLP]
    MFCS, 1978, pp:71-83 [Conf]
  45. Robin Milner
    LCF: A Way of Doing Proofs with a Machine. [Citation Graph (0, 0)][DBLP]
    MFCS, 1979, pp:146-159 [Conf]
  46. Robin Milner
    Action Calculi, or Syntactic Action Structures. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:105-121 [Conf]
  47. 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]
  48. Robin Milner
    Four Combinators for Concurrency. [Citation Graph (0, 0)][DBLP]
    PODC, 1982, pp:104-110 [Conf]
  49. Dave Berry, Robin Milner, David N. Turner
    A Semantics for ML Concurrency Primitives. [Citation Graph (0, 0)][DBLP]
    POPL, 1992, pp:119-129 [Conf]
  50. Ole Høgh Jensen, Robin Milner
    Bigraphs and transitions. [Citation Graph (0, 0)][DBLP]
    POPL, 2003, pp:38-49 [Conf]
  51. Robin Milner
    Computational flux. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:220-221 [Conf]
  52. Robin Milner
    Strong Normalisation in Higher-Order Action Calculi. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:1-19 [Conf]
  53. 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]
  54. Robin Milner
    Dialogue with a Proof System. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1987, pp:271-275 [Conf]
  55. Robin Milner
    An Algebraic Theory for Synchronization. [Citation Graph (0, 0)][DBLP]
    Theoretical Computer Science, 1979, pp:27-35 [Conf]
  56. Robin Milner
    Graphical Theories of Interactive Systems: Can a Proof Assistant Help? [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2000, pp:442- [Conf]
  57. Robin Milner
    Calculi for Interaction. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1996, v:33, n:8, pp:707-737 [Journal]
  58. 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]
  59. Robin Milner
    Elements of Interaction - Turing Award Lecture. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1993, v:36, n:1, pp:78-89 [Journal]
  60. 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]
  61. Robin Milner
    Ubiquitous Computing: Shall we Understand It? [Citation Graph (0, 0)][DBLP]
    Comput. J., 2006, v:49, n:4, pp:383-389 [Journal]
  62. 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]
  63. Robin Milner
    Pervasive Process Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:255-259 [Journal]
  64. 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]
  65. 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]
  66. Robin Milner
    Pure bigraphs: Structure and dynamics. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:1, pp:60-122 [Journal]
  67. 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]
  68. 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]
  69. 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]
  70. 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]
  71. Robin Milner
    Equivalences on Program Schemes. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1970, v:4, n:3, pp:205-219 [Journal]
  72. 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]
  73. Robin Milner
    Functions as Processes. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1992, v:2, n:2, pp:119-141 [Journal]
  74. 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]
  75. 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]
  76. 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]
  77. Robin Milner
    Calculi for Synchrony and Asynchrony. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:25, n:, pp:267-310 [Journal]
  78. 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]
  79. 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]
  80. 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]
  81. 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]
  82. Robin Milner
    Scientific Foundation for Global Computing. [Citation Graph (0, 0)][DBLP]
    , 2006, v:, n:, pp:1-13 [Journal]
  83. 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]
  84. 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]

  85. Categories, Software and Meaning. [Citation Graph (, )][DBLP]


  86. Bigraphical Categories. [Citation Graph (, )][DBLP]


  87. Keynote: The Space and Motion of Large Informatic Systems. [Citation Graph (, )][DBLP]


  88. Bigraphs and Their Algebra. [Citation Graph (, )][DBLP]


  89. Stochastic Bigraphs. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002