dblp.uni-trier.dewww.uni-trier.de

Robin Milner Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

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

Coauthor Index

1Samson Abramsky [37]
2Andrew Adamatzky (Andy Adamatzky) [77] [85]
3Thomas R. Addis [85]
4Tom Addis [77]
5Gul A. Agha (Gul Agha) [37]
6Pierre America [41]
7Dave Berry [47]
8Lars Birkedal [88]
9Samuel L. Braunstein [77] [85]
10John A. Clark (John Andrew Clark) [77] [85]
11Luís Damas [16]
12Troels Christoffer Damgaard [88]
13Karen A. Frenkel [53]
14Arne J. Glenstrup [88]
15Michael J. C. Gordon [6] [12]
16Robert Harper [27]
17Matthew Hennessy [13] [25]
18Carl Hewitt [37]
19C. A. R. Hoare (Tony Hoare) [79]
20Ole Høgh Jensen [73]
21Colin G. Johnson [77] [85]
22Jean Krivine [90]
23Kim Guldstrand Larsen [30] [44]
24James J. Leifer [67] [71] [83]
25Alex Mifsud [60]
26George Milne [9]
27Faron Moller [35] [52]
28L. Morris [6]
29Malcolm C. Newey [6]
30Oscar Nierstrasz [41]
31Joachim Parrow [42] [45] [46] [51]
32Derek Partridge [77] [85]
33John Power (A. John Power) [60]
34Davide Sangiorgi [48] [49]
35Robert Elliott Smith (Robert E. Smith) [77] [85]
36Susan Stepney [77] [85]
37Jonathan Timmis (Jon Timmis) [77] [85]
38Mads Tofte [27] [39]
39Mario Tokoro [41]
40Angelo Troina [90]
41David N. Turner [47]
42Andrew M. Tyrrell (Andy M. Tyrrell) [77] [85]
43Christopher P. Wadsworth [6] [12]
44David Walker [42] [45] [46] [51]
45Peter Wegner [37]
46Peter H. Welch [77] [85]
47Akinori Yonezawa [37] [41]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)