×
Author ID: milner.robin Recent zbMATH articles by "Milner, Robin"
Published as: Milner, Robin; Milner, R.; Milner, Arthur J.
Further Spellings: Milner, Arthur John Robin Gorell; Milner, A. J. R. G.
Homepage: https://www.cl.cam.ac.uk/archive/rm135/
External Links: MGP · Wikidata · dblp · GND · IdRef
Awards: Turing Award (1991)
Documents Indexed: 79 Publications since 1968, including 5 Books
2 Contributions as Editor
Biographic References: 4 Publications
Co-Authors: 32 Co-Authors with 27 Joint Publications
851 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

66 Publications have been cited 4,513 times in 2,955 Documents Cited by Year
Communication and concurrency. Zbl 0683.68008
Milner, Robin
1989
A calculus of communicating systems. Zbl 0452.68027
Milner, Robin
587
1980
Algebraic laws for nondeterminism and concurrency. Zbl 0629.68021
Hennessy, Matthew; Milner, Robin
331
1985
Communicating and mobile systems: The \(\pi\)-calculus. Zbl 0942.68002
Milner, Robin
297
1999
A calculus of mobile processes. I. Zbl 0752.68036
Milner, Robin; Parrow, Joachim; Walker, David
264
1992
A theory of type polymorphism in programming. Zbl 0388.68003
Milner, Robin
210
1978
A calculus of mobile processes. II. Zbl 0752.68037
Milner, Robin; Parrow, Joachim; Walker, David
202
1992
Calculi for synchrony and asynchrony. Zbl 0512.68026
Milner, Robin
183
1983
Edinburgh LCF. A mechanized logic of computation. Zbl 0421.68039
Gordon, Michael J.; Milner, Arthur J.; Wadsworth, Christopher P.
131
1979
Functions as processes. Zbl 0773.03012
Milner, Robin
114
1992
Fully abstract models of typed \(\lambda\)-calculi. Zbl 0386.03006
Milner, Robin
110
1977
A complete inference system for a class of regular behaviours. Zbl 0562.68065
Milner, Robin
94
1984
Barbed bisimulation. Zbl 1425.68298
Milner, Robin; Sangiorgi, Davide
93
1992
On observing nondeterminism and concurrency. Zbl 0441.68018
Hennessy, Matthew; Milner, Robin
63
1980
A complete axiomatisation for observational congruence of finite-state behaviours. Zbl 0688.68050
Milner, Robin
61
1989
Modal logics for mobile processes. Zbl 0778.68033
Milner, Robin; Parrow, Joachim; Walker, David
60
1993
A modal characterisation of observable machine-behaviour. Zbl 0474.68074
Milner, R.
54
1981
Deriving bisimulation congruences for reactive systems. Zbl 0999.68141
Leifer, James J.; Milner, Robin
44
2000
Operational and algebraic sementics of concurrent processes. Zbl 0900.68217
Milner, Robin
42
1990
Pure bigraphs: structure and dynamics. Zbl 1093.68067
Milner, Robin
33
2006
The space and motion of communicating agents. Zbl 1175.68461
Milner, Robin
32
2009
Bigraphical reactive systems. Zbl 1006.68080
Milner, Robin
27
2001
Bigraphs and transitions. Zbl 1321.68126
Jensen, Ole Høgh; Milner, Robin
26
2003
Concurrent processes and their syntax. Zbl 0395.68030
Milne, George; Milner, Robin
24
1979
Stochastic bigraphs. Zbl 1286.68354
Krivine, Jean; Milner, Robin; Troina, Angelo
21
2008
Co-induction in relational semantics. Zbl 0755.68100
Milner, Robin; Tofte, Mads
20
1991
Functions as processes. Zbl 0766.68036
Milner, Robin
20
1990
Local bigraphs and confluence: two conjectures (extended abstract). Zbl 1277.68197
Milner, Robin
16
2007
Proving compiler correctness in a mechanized logic. Zbl 0259.68008
Milner, R.; Weyhrauch, R.
16
1972
Unique decomposition of processes. Zbl 0777.68037
Milner, Robin; Moller, Faron
15
1993
Flowgraphs and flow algebras. Zbl 0421.68025
Milner, Robin
15
1979
Lectures on a calculus for communicating systems. Zbl 0609.68021
Milner, Robin
14
1985
Models of LCF. Zbl 0364.02018
Milner, R.
12
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
Journeys in non-classical computation I: A grand challenge for computing research. Zbl 1109.68361
Stepney, Susan; 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
10
2005
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
Processes: A mathematical model of computing agents. Zbl 0316.68017
Milner, Robin
9
1975
Bigraphs for Petri nets. Zbl 1088.68125
Milner, Robin
6
2004
Matching of bigraphs. Zbl 1278.05184
Birkedal, Lars; Damgaard, Troels Christoffer; Glenstrup, Arne John; Milner, Robin
5
2007
Verifying a protocol using relativized bisimulation. Zbl 0628.68022
Larsen, Kim G.; Milner, Robin
5
1987
Equivalences on program schemes. Zbl 0209.18705
Milner, R.
5
1970
Theories for the global ubiquitous computer. Zbl 1126.68313
Milner, Robin
5
2004
Action structures and the pi-calculus. Zbl 0872.08003
Milner, Robin
4
1995
Calculi for interaction. Zbl 0853.68123
Milner, Robin
4
1996
The use of machines to assist in rigorous proof. Zbl 0572.68078
Milner, R.
4
1984
Program semantics and mechanized proof. Zbl 0437.68006
Milner, R.
4
1976
Synthesis of communicating behaviour. Zbl 0411.68031
Milner, Robin
4
1978
A compositional protocol verification using relativized bisimulation. Zbl 0753.68067
Larsen, Kim G.; Milner, Robin
3
1992
Higher-order action calculi. Zbl 0953.03523
Milner, Robin
3
1994
Bigraphs and their algebra. Zbl 1279.68263
Milner, Robin
3
2008
Process constructors and interpretations. Zbl 0624.68030
Milner, Robin
3
1986
ICF: A way of doing proofs with a machine. Zbl 0423.68049
Milner, Robin
3
1979
Turing, computing and communication. Zbl 1266.03001
Milner, Robin
3
2006
An inductive characterization of matching in binding bigraphs. Zbl 1259.68157
Damgaard, Troels C.; Glenstrup, Arne J.; Birkedal, Lars; Milner, Robin
3
2013
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
Program schemes and recursive function theory. Zbl 0221.68017
Milner, R.
2
1969
The spectra of words. Zbl 1171.68655
Milner, Robin
2
2005
Unique decomposition of processes. Zbl 0744.68050
Milner, Robin; Moller, Faron
1
1990
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
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
3
2013
The space and motion of communicating agents. Zbl 1175.68461
Milner, Robin
32
2009
Stochastic bigraphs. Zbl 1286.68354
Krivine, Jean; Milner, Robin; Troina, Angelo
21
2008
Bigraphs and their algebra. Zbl 1279.68263
Milner, Robin
3
2008
Local bigraphs and confluence: two conjectures (extended abstract). Zbl 1277.68197
Milner, Robin
16
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
33
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
3
2006
An interview with Robin Milner. Zbl 1315.01040
Milner, Robin; Berger, Martin
1
2006
Journeys in non-classical computation I: A grand challenge for computing research. Zbl 1109.68361
Stepney, Susan; 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
10
2005
Axioms for bigraphical structure. Zbl 1083.68082
Milner, Robin
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
6
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
26
2003
Bigraphs as a model for mobile interaction. Zbl 1028.68561
Milner, Robin
1
2002
Bigraphical reactive systems. Zbl 1006.68080
Milner, Robin
27
2001
Deriving bisimulation congruences for reactive systems. Zbl 0999.68141
Leifer, James J.; Milner, Robin
44
2000
Communicating and mobile systems: The \(\pi\)-calculus. Zbl 0942.68002
Milner, Robin
297
1999
The pi calculus and its applications. Zbl 0948.68041
Milner, Robin
1
1998
Calculi for interaction. Zbl 0853.68123
Milner, Robin
4
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
60
1993
Unique decomposition of processes. Zbl 0777.68037
Milner, Robin; Moller, Faron
15
1993
Action calculi or syntactic action structures. Zbl 0925.68151
Milner, Robin
10
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
264
1992
A calculus of mobile processes. II. Zbl 0752.68037
Milner, Robin; Parrow, Joachim; Walker, David
202
1992
Functions as processes. Zbl 0773.03012
Milner, Robin
114
1992
Barbed bisimulation. Zbl 1425.68298
Milner, Robin; Sangiorgi, Davide
93
1992
A compositional protocol verification using relativized bisimulation. Zbl 0753.68067
Larsen, Kim G.; Milner, Robin
3
1992
Co-induction in relational semantics. Zbl 0755.68100
Milner, Robin; Tofte, Mads
20
1991
Operational and algebraic sementics of concurrent processes. Zbl 0900.68217
Milner, Robin
42
1990
Functions as processes. Zbl 0766.68036
Milner, Robin
20
1990
Unique decomposition of processes. Zbl 0744.68050
Milner, Robin; Moller, Faron
1
1990
Communication and concurrency. Zbl 0683.68008
Milner, Robin
1989
A complete axiomatisation for observational congruence of finite-state behaviours. Zbl 0688.68050
Milner, Robin
61
1989
Verifying a protocol using relativized bisimulation. Zbl 0628.68022
Larsen, Kim G.; Milner, Robin
5
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
3
1986
Algebraic laws for nondeterminism and concurrency. Zbl 0629.68021
Hennessy, Matthew; Milner, Robin
331
1985
Lectures on a calculus for communicating systems. Zbl 0609.68021
Milner, Robin
14
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
94
1984
The use of machines to assist in rigorous proof. Zbl 0572.68078
Milner, R.
4
1984
Calculi for synchrony and asynchrony. Zbl 0512.68026
Milner, Robin
183
1983
A modal characterisation of observable machine-behaviour. Zbl 0474.68074
Milner, R.
54
1981
A calculus of communicating systems. Zbl 0452.68027
Milner, Robin
587
1980
On observing nondeterminism and concurrency. Zbl 0441.68018
Hennessy, Matthew; Milner, Robin
63
1980
Edinburgh LCF. A mechanized logic of computation. Zbl 0421.68039
Gordon, Michael J.; Milner, Arthur J.; Wadsworth, Christopher P.
131
1979
Concurrent processes and their syntax. Zbl 0395.68030
Milne, George; Milner, Robin
24
1979
Flowgraphs and flow algebras. Zbl 0421.68025
Milner, Robin
15
1979
ICF: A way of doing proofs with a machine. Zbl 0423.68049
Milner, Robin
3
1979
A theory of type polymorphism in programming. Zbl 0388.68003
Milner, Robin
210
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
110
1977
Models of LCF. Zbl 0364.02018
Milner, R.
12
1976
Program semantics and mechanized proof. Zbl 0437.68006
Milner, R.
4
1976
Processes: A mathematical model of computing agents. Zbl 0316.68017
Milner, Robin
9
1975
Proving compiler correctness in a mechanized logic. Zbl 0259.68008
Milner, R.; Weyhrauch, R.
16
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,925 Authors

59 Aceto, Luca
52 Ingólfsdóttir, Anna
40 Montanari, Ugo G.
39 Hennessy, Matthew C. B.
33 Sangiorgi, Davide
31 van Glabbeek, Robert Jan
31 Yoshida, Nobuko
29 Bonchi, Filippo
26 Bergstra, Jan A.
26 Gorrieri, Roberto
25 Fokkink, Willem Jan
25 Luttik, Bas
24 De Nicola, Rocco
24 Larsen, Kim Guldstrand
24 Vogler, Walter
22 Gadducci, Fabio
22 Groote, Jan Friso
21 Bernardo, Marco
21 Bruni, Roberto
21 Dezani-Ciancaglini, Mariangiola
21 Fu, Yuxi
21 Milner, Robin
19 Baeten, Jos C. M.
19 Cardelli, Luca
19 Corradini, Flavio
18 Degano, Pierpaolo
18 Zavattaro, Gianluigi
17 Deng, Yuxin
16 Busi, Nadia
15 Lüttgen, Gerald
15 Miculan, Marino
15 Phillips, Iain W.
15 Priami, Corrado
15 Reniers, Michel Adriaan
15 Schröder, Lutz
14 Gorla, Daniele
14 Honda, Kohei
14 Jančar, Petr
14 König, Barbara
14 Koutny, Maciej
14 Palamidessi, Catuscia
14 Rutten, Jan J. M. M.
14 Smolka, Scott A.
14 Winskel, Glynn
13 Abramsky, Samson
13 Baldan, Paolo
13 Bodei, Chiara
13 Boreale, Michele
13 Bravetti, Mario
13 Brodo, Linda
13 Castellani, Ilaria
13 Cleaveland, Rance
13 Ésik, Zoltán
13 Ferrari, Gian Luigi
13 Hermanns, Holger
13 Legay, Axel
13 Middelburg, Cornelis A.
13 Pérez, Jorge A.
12 Ciobanu, Gabriel
12 Labella, Anna
12 Majster-Cederbaum, Mila E.
12 Nielson, Flemming
12 Panangaden, Prakash
12 Sobociński, Paweł
11 de Frutos-Escrig, David
11 Fahrenberg, Uli
11 Francalanza, Adrian
11 Hasan, Osman
11 Nestmann, Uwe
11 Parrow, Joachim
11 Riis Nielson, Hanne
11 Tahar, Sofiène
11 Tini, Simone
10 Boudol, Gérard
10 Broy, Manfred
10 Chen, Taolue
10 Corradini, Andrea
10 Gordon, Andrew D.
10 Gregorio-Rodríguez, Carlos
10 Hüttel, Hans
10 Katoen, Joost-Pieter
10 Laneve, Cosimo
10 Mayr, Richard M.
10 Merro, Massimo
10 Olderog, Ernst-Rüdiger
10 Plotkin, Gordon D.
10 Pous, Damien
9 Amadio, Roberto M.
9 Baier, Christel
9 Bonsangue, Marcello Maria
9 Castiglioni, Valentina
9 Ciancia, Vincenzo
9 Ćirić, Miroslav D.
9 Coppo, Mario
9 de Vink, Erik P.
9 Gnesi, Stefania
9 Hirschkoff, Daniel
9 Inverardi, Paola
9 Kucera, Antonin
9 Lanese, Ivan
...and 2,825 more Authors
all top 5

Cited in 148 Serials

625 Theoretical Computer Science
238 Information and Computation
123 Formal Aspects of Computing
100 Acta Informatica
78 MSCS. Mathematical Structures in Computer Science
72 The Journal of Logic and Algebraic Programming
72 Journal of Logical and Algebraic Methods in Programming
71 Information Processing Letters
57 Logical Methods in Computer Science
46 Journal of Computer and System Sciences
43 Journal of Automated Reasoning
31 Formal Methods in System Design
27 Science of Computer Programming
26 Journal of Functional Programming
22 Distributed Computing
21 Annals of Pure and Applied Logic
21 Discrete Event Dynamic Systems
15 Artificial Intelligence
15 Automatica
14 Information Sciences
12 RAIRO. Theoretical Informatics and Applications
12 Computer Languages, Systems & Structures
11 Journal of Symbolic Computation
11 Higher-Order and Symbolic Computation
11 Natural Computing
11 Journal of Applied Logic
9 Fuzzy Sets and Systems
9 Journal of Computer Science and Technology
9 International Journal of Approximate Reasoning
9 Theory and Practice of Logic Programming
9 ACM Transactions on Computational Logic
8 Programming and Computer Software
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 Foundations of Computer Science
5 International Journal of Theoretical Physics
5 New Generation Computing
5 International Journal of Computer Mathematics
5 RAIRO. Informatique Théorique et Applications
5 Fundamenta Informaticae
5 Sibirskie Èlektronnye Matematicheskie Izvestiya
4 BIT
4 RAIRO, Informatique Théorique
4 Studia Logica
4 Systems & Control Letters
4 Cybernetics and Systems Analysis
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 Science in China. Series F
3 Notre Dame Journal of Formal Logic
3 SIAM Journal on Control and Optimization
3 Software. Practice & Experience
3 Journal of Cryptology
3 Applicable Algebra in Engineering, Communication and Computing
3 European Journal of Control
3 Theory of Computing Systems
3 Journal of the ACM
3 Sādhanā
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 AI Communications
2 Real-Time Systems
2 Science in China. Series E
2 Wuhan University Journal of Natural Sciences (WUJNS)
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
2 Journal of Membrane Computing
1 ACM Computing Surveys
1 Computers & Mathematics with Applications
1 Journal of the Franklin Institute
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 the Association for Computing Machinery
...and 48 more Serials
all top 5

Cited in 37 Fields

2,788 Computer science (68-XX)
577 Mathematical logic and foundations (03-XX)
106 Category theory; homological algebra (18-XX)
81 Systems theory; control (93-XX)
78 Biology and other natural sciences (92-XX)
56 Information and communication theory, circuits (94-XX)
37 Order, lattices, ordered algebraic structures (06-XX)
33 Probability theory and stochastic processes (60-XX)
29 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
24 Combinatorics (05-XX)
17 General algebraic systems (08-XX)
17 Operations research, mathematical programming (90-XX)
16 Quantum theory (81-XX)
8 Associative rings and algebras (16-XX)
7 General topology (54-XX)
6 History and biography (01-XX)
6 Dynamical systems and ergodic theory (37-XX)
5 General and overarching topics; collections (00-XX)
4 Numerical analysis (65-XX)
3 Number theory (11-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Group theory and generalizations (20-XX)
2 Ordinary differential equations (34-XX)
2 Geometry (51-XX)
2 Algebraic topology (55-XX)
2 Mathematics education (97-XX)
1 Real functions (26-XX)
1 Measure and integration (28-XX)
1 Special functions (33-XX)
1 Partial differential equations (35-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Differential geometry (53-XX)
1 Global analysis, analysis on manifolds (58-XX)
1 Mechanics of particles and systems (70-XX)
1 Classical thermodynamics, heat transfer (80-XX)
1 Relativity and gravitational theory (83-XX)
1 Geophysics (86-XX)

Citations by Year

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