×

zbMATH — the first resource for mathematics

Milner, Robin

Compute Distance To:
Author ID: milner.robin Recent zbMATH articles by "Milner, Robin"
Published as: Milner, Robin; Milner, R.; Milner, Arthur J.; Milner, A.
Homepage: https://www.cl.cam.ac.uk/archive/rm135/
External Links: MGP · Wikidata · dblp · GND
Awards: Turing Award (1991)
Documents Indexed: 81 Publications since 1968, including 7 Books
Biographic References: 4 Publications

Publications by Year

Citations contained in zbMATH Open

66 Publications have been cited 3,626 times in 2,428 Documents Cited by Year
Communication and concurrency. Zbl 0683.68008
Milner, Robin
936
1989
A calculus of communicating systems. Zbl 0452.68027
Milner, Robin
461
1980
Algebraic laws for nondeterminism and concurrency. Zbl 0629.68021
Hennessy, Matthew; Milner, Robin
277
1985
Communicating and mobile systems: The \(\pi\)-calculus. Zbl 0942.68002
Milner, Robin
258
1999
A calculus of mobile processes. I. Zbl 0752.68036
Milner, Robin; Parrow, Joachim; Walker, David
194
1992
A theory of type polymorphism in programming. Zbl 0388.68003
Milner, Robin
183
1978
A calculus of mobile processes. II. Zbl 0752.68037
Milner, Robin; Parrow, Joachim; Walker, David
166
1992
Calculi for synchrony and asynchrony. Zbl 0512.68026
Milner, Robin
165
1983
Edinburgh LCF. A mechanized logic of computation. Zbl 0421.68039
Gordon, Michael J.; Milner, Arthur J.; Wadsworth, Christopher P.
107
1979
Fully abstract models of typed \(\lambda\)-calculi. Zbl 0386.03006
Milner, Robin
95
1977
Functions as processes. Zbl 0773.03012
Milner, Robin
95
1992
A complete inference system for a class of regular behaviours. Zbl 0562.68065
Milner, Robin
78
1984
A complete axiomatisation for observational congruence of finite-state behaviours. Zbl 0688.68050
Milner, Robin
52
1989
Modal logics for mobile processes. Zbl 0778.68033
Milner, Robin; Parrow, Joachim; Walker, David
46
1993
On observing nondeterminism and concurrency. Zbl 0441.68018
Hennessy, Matthew; Milner, Robin
45
1980
A modal characterisation of observable machine-behaviour. Zbl 0474.68074
Milner, R.
43
1981
Deriving bisimulation congruences for reactive systems. Zbl 0999.68141
Leifer, James J.; Milner, Robin
34
2000
Operational and algebraic sementics of concurrent processes. Zbl 0900.68217
Milner, Robin
33
1990
Pure bigraphs: structure and dynamics. Zbl 1093.68067
Milner, Robin
26
2006
Concurrent processes and their syntax. Zbl 0395.68030
Milne, George; Milner, Robin
24
1979
The space and motion of communicating agents. Zbl 1175.68461
Milner, Robin
22
2009
Bigraphical reactive systems. Zbl 1006.68080
Milner, Robin
21
2001
Bigraphs and transitions. Zbl 1321.68126
Jensen, Ole Høgh; Milner, Robin
18
2003
Co-induction in relational semantics. Zbl 0755.68100
Milner, Robin; Tofte, Mads
18
1991
Functions as processes. Zbl 0766.68036
Milner, Robin
17
1990
Stochastic bigraphs. Zbl 1286.68354
Krivine, Jean; Milner, Robin; Troina, Angelo
16
2008
Flowgraphs and flow algebras. Zbl 0421.68025
Milner, Robin
13
1979
Proving compiler correctness in a mechanized logic. Zbl 0259.68008
Milner, R.; Weyhrauch, R.
13
1972
Local bigraphs and confluence: two conjectures (extended abstract). Zbl 1277.68197
Milner, Robin
13
2007
Lectures on a calculus for communicating systems. Zbl 0609.68021
Milner, Robin
12
1985
Models of LCF. Zbl 0364.02018
Milner, R.
11
1976
Action calculi or syntactic action structures. Zbl 0925.68151
Milner, Robin
10
1993
Transition systems, link graphs and Petri nets. Zbl 1107.68056
Leifer, James J.; Milner, Robin
10
2006
Lectures on a calculus for communicating systems. Zbl 0609.68020
Milner, Robin
9
1985
Axioms for bigraphical structure. Zbl 1083.68082
Milner, Robin
9
2005
Unique decomposition of processes. Zbl 0777.68037
Milner, Robin; Moller, Faron
9
1993
Journeys in non-classical computation I: A grand challenge for computing research. Zbl 1109.68361
Stepney, Suasan; Braunstein, Samuel L.; Clark, John A.; Tyrrell, Andy; Adamatzky, Andrew; Smith, Robert E.; Addis, Tom; Johnson, Colin; Timmis, Jonathan; Welch, Peter; Milner, Robin; Partridge, Derek
9
2005
Processes: A mathematical model of computing agents. Zbl 0316.68017
Milner, Robin
8
1975
Bigraphs for Petri nets. Zbl 1088.68125
Milner, Robin
5
2004
Theories for the global ubiquitous computer. Zbl 1126.68313
Milner, Robin
5
2004
Matching of bigraphs. Zbl 1278.05184
Birkedal, Lars; Damgaard, Troels Christoffer; Glenstrup, Arne John; Milner, Robin
5
2007
Equivalences on program schemes. Zbl 0209.18705
Milner, R.
5
1970
Action structures and the pi-calculus. Zbl 0872.08003
Milner, Robin
4
1995
Synthesis of communicating behaviour. Zbl 0411.68031
Milner, Robin
4
1978
Verifying a protocol using relativized bisimulation. Zbl 0628.68022
Larsen, Kim G.; Milner, Robin
4
1987
Calculi for interaction. Zbl 0853.68123
Milner, Robin
3
1996
Program semantics and mechanized proof. Zbl 0437.68006
Milner, R.
3
1976
The use of machines to assist in rigorous proof. Zbl 0572.68078
Milner, R.
3
1984
Higher-order action calculi. Zbl 0953.03523
Milner, Robin
3
1994
Barbed bisimulation. Zbl 1425.68298
Milner, Robin; Sangiorgi, Davide
3
1992
ICF: A way of doing proofs with a machine. Zbl 0423.68049
Milner, Robin
2
1979
An action structure for synchronous \(\pi\)-calculus. Zbl 0794.68055
Milner, Robin
2
1993
A type discipline for program modules. Zbl 0614.68010
Harper, Robert; Milner, Robin; Tofte, Mads
2
1987
Process constructors and interpretations. Zbl 0624.68030
Milner, Robin
2
1986
A compositional protocol verification using relativized bisimulation. Zbl 0753.68067
Larsen, Kim G.; Milner, Robin
2
1992
The spectra of words. Zbl 1171.68655
Milner, Robin
2
2005
Program schemes and recursive function theory. Zbl 0221.68017
Milner, R.
2
1969
The pi calculus and its applications. Zbl 0948.68041
Milner, Robin
1
1998
Bigraphs as a model for mobile interaction. Zbl 1028.68561
Milner, Robin
1
2002
Embeddings and contexts for link graphs. Zbl 1076.68045
Milner, Robin
1
2005
Algebras for communicating systems. Zbl 0482.68045
Milner, Robin
1
1978
Unique decomposition of processes. Zbl 0744.68050
Milner, Robin; Moller, Faron
1
1990
An inductive characterization of matching in binding bigraphs. Zbl 1259.68157
Damgaard, Troels C.; Glenstrup, Arne J.; Birkedal, Lars; Milner, Robin
1
2013
Turing, computing and communication. Zbl 1266.03001
Milner, Robin
1
2006
Bigraphs and their algebra. Zbl 1279.68263
Milner, Robin
1
2008
An interview with Robin Milner. Zbl 1315.01040
Milner, Robin; Berger, Martin
1
2006
An inductive characterization of matching in binding bigraphs. Zbl 1259.68157
Damgaard, Troels C.; Glenstrup, Arne J.; Birkedal, Lars; Milner, Robin
1
2013
The space and motion of communicating agents. Zbl 1175.68461
Milner, Robin
22
2009
Stochastic bigraphs. Zbl 1286.68354
Krivine, Jean; Milner, Robin; Troina, Angelo
16
2008
Bigraphs and their algebra. Zbl 1279.68263
Milner, Robin
1
2008
Local bigraphs and confluence: two conjectures (extended abstract). Zbl 1277.68197
Milner, Robin
13
2007
Matching of bigraphs. Zbl 1278.05184
Birkedal, Lars; Damgaard, Troels Christoffer; Glenstrup, Arne John; Milner, Robin
5
2007
Pure bigraphs: structure and dynamics. Zbl 1093.68067
Milner, Robin
26
2006
Transition systems, link graphs and Petri nets. Zbl 1107.68056
Leifer, James J.; Milner, Robin
10
2006
Turing, computing and communication. Zbl 1266.03001
Milner, Robin
1
2006
An interview with Robin Milner. Zbl 1315.01040
Milner, Robin; Berger, Martin
1
2006
Axioms for bigraphical structure. Zbl 1083.68082
Milner, Robin
9
2005
Journeys in non-classical computation I: A grand challenge for computing research. Zbl 1109.68361
Stepney, Suasan; Braunstein, Samuel L.; Clark, John A.; Tyrrell, Andy; Adamatzky, Andrew; Smith, Robert E.; Addis, Tom; Johnson, Colin; Timmis, Jonathan; Welch, Peter; Milner, Robin; Partridge, Derek
9
2005
The spectra of words. Zbl 1171.68655
Milner, Robin
2
2005
Embeddings and contexts for link graphs. Zbl 1076.68045
Milner, Robin
1
2005
Bigraphs for Petri nets. Zbl 1088.68125
Milner, Robin
5
2004
Theories for the global ubiquitous computer. Zbl 1126.68313
Milner, Robin
5
2004
Bigraphs and transitions. Zbl 1321.68126
Jensen, Ole Høgh; Milner, Robin
18
2003
Bigraphs as a model for mobile interaction. Zbl 1028.68561
Milner, Robin
1
2002
Bigraphical reactive systems. Zbl 1006.68080
Milner, Robin
21
2001
Deriving bisimulation congruences for reactive systems. Zbl 0999.68141
Leifer, James J.; Milner, Robin
34
2000
Communicating and mobile systems: The \(\pi\)-calculus. Zbl 0942.68002
Milner, Robin
258
1999
The pi calculus and its applications. Zbl 0948.68041
Milner, Robin
1
1998
Calculi for interaction. Zbl 0853.68123
Milner, Robin
3
1996
Action structures and the pi-calculus. Zbl 0872.08003
Milner, Robin
4
1995
Higher-order action calculi. Zbl 0953.03523
Milner, Robin
3
1994
Modal logics for mobile processes. Zbl 0778.68033
Milner, Robin; Parrow, Joachim; Walker, David
46
1993
Action calculi or syntactic action structures. Zbl 0925.68151
Milner, Robin
10
1993
Unique decomposition of processes. Zbl 0777.68037
Milner, Robin; Moller, Faron
9
1993
An action structure for synchronous \(\pi\)-calculus. Zbl 0794.68055
Milner, Robin
2
1993
A calculus of mobile processes. I. Zbl 0752.68036
Milner, Robin; Parrow, Joachim; Walker, David
194
1992
A calculus of mobile processes. II. Zbl 0752.68037
Milner, Robin; Parrow, Joachim; Walker, David
166
1992
Functions as processes. Zbl 0773.03012
Milner, Robin
95
1992
Barbed bisimulation. Zbl 1425.68298
Milner, Robin; Sangiorgi, Davide
3
1992
A compositional protocol verification using relativized bisimulation. Zbl 0753.68067
Larsen, Kim G.; Milner, Robin
2
1992
Co-induction in relational semantics. Zbl 0755.68100
Milner, Robin; Tofte, Mads
18
1991
Operational and algebraic sementics of concurrent processes. Zbl 0900.68217
Milner, Robin
33
1990
Functions as processes. Zbl 0766.68036
Milner, Robin
17
1990
Unique decomposition of processes. Zbl 0744.68050
Milner, Robin; Moller, Faron
1
1990
Communication and concurrency. Zbl 0683.68008
Milner, Robin
936
1989
A complete axiomatisation for observational congruence of finite-state behaviours. Zbl 0688.68050
Milner, Robin
52
1989
Verifying a protocol using relativized bisimulation. Zbl 0628.68022
Larsen, Kim G.; Milner, Robin
4
1987
A type discipline for program modules. Zbl 0614.68010
Harper, Robert; Milner, Robin; Tofte, Mads
2
1987
Process constructors and interpretations. Zbl 0624.68030
Milner, Robin
2
1986
Algebraic laws for nondeterminism and concurrency. Zbl 0629.68021
Hennessy, Matthew; Milner, Robin
277
1985
Lectures on a calculus for communicating systems. Zbl 0609.68021
Milner, Robin
12
1985
Lectures on a calculus for communicating systems. Zbl 0609.68020
Milner, Robin
9
1985
A complete inference system for a class of regular behaviours. Zbl 0562.68065
Milner, Robin
78
1984
The use of machines to assist in rigorous proof. Zbl 0572.68078
Milner, R.
3
1984
Calculi for synchrony and asynchrony. Zbl 0512.68026
Milner, Robin
165
1983
A modal characterisation of observable machine-behaviour. Zbl 0474.68074
Milner, R.
43
1981
A calculus of communicating systems. Zbl 0452.68027
Milner, Robin
461
1980
On observing nondeterminism and concurrency. Zbl 0441.68018
Hennessy, Matthew; Milner, Robin
45
1980
Edinburgh LCF. A mechanized logic of computation. Zbl 0421.68039
Gordon, Michael J.; Milner, Arthur J.; Wadsworth, Christopher P.
107
1979
Concurrent processes and their syntax. Zbl 0395.68030
Milne, George; Milner, Robin
24
1979
Flowgraphs and flow algebras. Zbl 0421.68025
Milner, Robin
13
1979
ICF: A way of doing proofs with a machine. Zbl 0423.68049
Milner, Robin
2
1979
A theory of type polymorphism in programming. Zbl 0388.68003
Milner, Robin
183
1978
Synthesis of communicating behaviour. Zbl 0411.68031
Milner, Robin
4
1978
Algebras for communicating systems. Zbl 0482.68045
Milner, Robin
1
1978
Fully abstract models of typed \(\lambda\)-calculi. Zbl 0386.03006
Milner, Robin
95
1977
Models of LCF. Zbl 0364.02018
Milner, R.
11
1976
Program semantics and mechanized proof. Zbl 0437.68006
Milner, R.
3
1976
Processes: A mathematical model of computing agents. Zbl 0316.68017
Milner, Robin
8
1975
Proving compiler correctness in a mechanized logic. Zbl 0259.68008
Milner, R.; Weyhrauch, R.
13
1972
Equivalences on program schemes. Zbl 0209.18705
Milner, R.
5
1970
Program schemes and recursive function theory. Zbl 0221.68017
Milner, R.
2
1969
all top 5

Cited by 2,504 Authors

44 Aceto, Luca
39 Ingólfsdóttir, Anna
35 Hennessy, Matthew C. B.
35 Montanari, Ugo G.
27 Yoshida, Nobuko
26 Sangiorgi, Davide
24 Bergstra, Jan A.
23 Fokkink, Willem Jan
23 van Glabbeek, Robert Jan
23 Vogler, Walter
21 De Nicola, Rocco
21 Milner, Robin
20 Bonchi, Filippo
19 Fu, Yuxi
19 Gorrieri, Roberto
17 Corradini, Flavio
17 Gadducci, Fabio
17 Larsen, Kim Guldstrand
17 Luttik, Bas
16 Baeten, Jos C. M.
16 Bernardo, Marco
16 Bruni, Roberto
16 Busi, Nadia
16 Cardelli, Luca
16 Degano, Pierpaolo
16 Dezani-Ciancaglini, Mariangiola
16 Zavattaro, Gianluigi
15 Deng, Yuxin
15 Groote, Jan Friso
14 Honda, Kohei
14 Lüttgen, Gerald
14 Priami, Corrado
14 Smolka, Scott A.
13 Bravetti, Mario
13 Reniers, Michel Adriaan
12 Abramsky, Samson
12 Bodei, Chiara
12 Boreale, Michele
12 Legay, Axel
12 Majster-Cederbaum, Mila E.
12 Middelburg, Cornelis A.
12 Phillips, Iain W.
12 Rutten, Jan J. M. M.
12 Winskel, Glynn
11 Brodo, Linda
11 Cleaveland, Rance
11 de Frutos-Escrig, David
11 Ésik, Zoltán
11 Hasan, Osman
11 Hermanns, Holger
11 Miculan, Marino
11 Nielson, Flemming
11 Palamidessi, Catuscia
11 Tahar, Sofiène
11 Tini, Simone
10 Broy, Manfred
10 Castellani, Ilaria
10 Chen, Taolue
10 Ferrari, Gian Luigi
10 Gordon, Andrew D.
10 Gorla, Daniele
10 Gregorio-Rodríguez, Carlos
10 Jančar, Petr
10 Koutny, Maciej
10 Labella, Anna
10 Panangaden, Prakash
10 Riis Nielson, Hanne
9 Baier, Christel
9 Bonsangue, Marcello Maria
9 Corradini, Andrea
9 Fahrenberg, Uli
9 Hüttel, Hans
9 Kucera, Antonin
9 Laneve, Cosimo
9 Maggiolo-Schettini, Andrea
9 Meyer, John-Jules Charles
9 Miller, Dale Allen
9 Parrow, Joachim
9 Pugliese, Rosario
9 Schröder, Lutz
9 Sobociński, Paweł
8 Barbosa, Luís Soares
8 Barbuti, Roberto
8 Boudol, Gérard
8 Bundy, Alan
8 Ćirić, Miroslav D.
8 Coppo, Mario
8 Devillers, Raymond
8 Hoare, C. A. R. Tony
8 Ignjatović, Jelena
8 Inverardi, Paola
8 Krivine, Jean
8 Loreti, Michele
8 Merro, Massimo
8 Olarte, Carlos
8 Olderog, Ernst-Rüdiger
8 Pappas, George J.
8 Plotkin, Gordon D.
8 Ponse, Alban
8 Pym, David J.
...and 2,404 more Authors
all top 5

Cited in 136 Serials

586 Theoretical Computer Science
218 Information and Computation
117 Formal Aspects of Computing
93 Acta Informatica
73 MSCS. Mathematical Structures in Computer Science
70 The Journal of Logic and Algebraic Programming
68 Information Processing Letters
52 Journal of Logical and Algebraic Methods in Programming
45 Journal of Computer and System Sciences
40 Journal of Automated Reasoning
29 Formal Methods in System Design
27 Science of Computer Programming
27 Logical Methods in Computer Science
25 Journal of Functional Programming
22 Distributed Computing
21 Annals of Pure and Applied Logic
20 Discrete Event Dynamic Systems
13 Information Sciences
12 Artificial Intelligence
12 RAIRO. Theoretical Informatics and Applications
12 Computer Languages, Systems & Structures
11 Higher-Order and Symbolic Computation
11 Journal of Applied Logic
10 Automatica
10 Journal of Symbolic Computation
9 Programming and Computer Software
9 Journal of Computer Science and Technology
9 Natural Computing
8 Fuzzy Sets and Systems
8 Theory and Practice of Logic Programming
7 International Journal of Parallel Programming
7 Applied Categorical Structures
6 Journal of Pure and Applied Algebra
6 The Journal of Symbolic Logic
6 International Journal of Approximate Reasoning
6 International Journal of Foundations of Computer Science
6 ACM Transactions on Computational Logic
5 International Journal of Theoretical Physics
5 New Generation Computing
5 International Journal of Computer Mathematics
5 RAIRO. Informatique Théorique et Applications
4 BIT
4 RAIRO, Informatique Théorique
4 Systems & Control Letters
4 Journal of Logic, Language and Information
4 Journal of Applied Non-Classical Logics
4 The Bulletin of Symbolic Logic
4 Annals of Mathematics and Artificial Intelligence
4 Mathematical Problems in Engineering
4 Sibirskie Èlektronnye Matematicheskie Izvestiya
4 Science in China. Series F
3 Notre Dame Journal of Formal Logic
3 Software. Practice & Experience
3 Journal of Cryptology
3 Applicable Algebra in Engineering, Communication and Computing
3 Cybernetics and Systems Analysis
3 European Journal of Control
3 Theory of Computing Systems
3 Journal of the ACM
3 Wuhan University Journal of Natural Sciences (WUJNS)
3 International Journal of Parallel, Emergent and Distributed Systems
3 Nonlinear Analysis. Hybrid Systems
3 Science China. Information Sciences
2 Discrete Applied Mathematics
2 International Journal of Control
2 Applied Mathematics and Computation
2 Mathematical Systems Theory
2 Topology and its Applications
2 Real-Time Systems
2 Science in China. Series E
2 Data Mining and Knowledge Discovery
2 International Journal of Applied Mathematics and Computer Science
2 Concurrency and Computation: Practice & Experience
2 Entropy
2 New Mathematics and Natural Computation
2 Mathematics in Computer Science
2 RAIRO. Theoretical Informatics and Applications
2 Frontiers of Computer Science
2 Computer Science Review
2 Philosophical Transactions A. Royal Society of London
1 ACM Computing Surveys
1 Computers & Mathematics with Applications
1 Letters in Mathematical Physics
1 Mathematical Methods in the Applied Sciences
1 ACM Transactions on Database Systems
1 Bulletin of Mathematical Biology
1 Chaos, Solitons and Fractals
1 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques
1 Computing
1 Czechoslovak Mathematical Journal
1 Glasgow Mathematical Journal
1 International Journal of Computer & Information Sciences
1 Journal of Computational and Applied Mathematics
1 Journal of Econometrics
1 Journal of Philosophical Logic
1 Journal of Soviet Mathematics
1 Kybernetes
1 Kybernetika
1 SIAM Journal on Control and Optimization
1 Studia Logica
...and 36 more Serials

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.