×

zbMATH — the first resource for mathematics

Milner, Robin

Compute Distance To:
Author ID: milner.robin Recent zbMATH articles by "Milner, Robin"
Published as: Milner, Arthur J.; Milner, R.; Milner, Robin
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,940 times in 2,557 Documents Cited by Year
Communication and concurrency. Zbl 0683.68008
Milner, Robin
986
1989
A calculus of communicating systems. Zbl 0452.68027
Milner, Robin
532
1980
Algebraic laws for nondeterminism and concurrency. Zbl 0629.68021
Hennessy, Matthew; Milner, Robin
282
1985
Communicating and mobile systems: The \(\pi\)-calculus. Zbl 0942.68002
Milner, Robin
272
1999
A calculus of mobile processes. II. Zbl 0752.68037
Milner, Robin; Parrow, Joachim; Walker, David
268
1992
A calculus of mobile processes. I. Zbl 0752.68036
Milner, Robin; Parrow, Joachim; Walker, David
205
1992
A theory of type polymorphism in programming. Zbl 0388.68003
Milner, Robin
185
1978
Calculi for synchrony and asynchrony. Zbl 0512.68026
Milner, Robin
167
1983
Edinburgh LCF. A mechanized logic of computation. Zbl 0421.68039
Gordon, Michael J.; Milner, Arthur J.; Wadsworth, Christopher P.
118
1979
Fully abstract models of typed \(\lambda\)-calculi. Zbl 0386.03006
Milner, Robin
96
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
79
1984
A complete axiomatisation for observational congruence of finite-state behaviours. Zbl 0688.68050
Milner, Robin
54
1989
On observing nondeterminism and concurrency. Zbl 0441.68018
Hennessy, Matthew; Milner, Robin
50
1980
A modal characterisation of observable machine-behaviour. Zbl 0474.68074
Milner, R.
49
1981
Modal logics for mobile processes. Zbl 0778.68033
Milner, Robin; Parrow, Joachim; Walker, David
46
1993
Operational and algebraic sementics of concurrent processes. Zbl 0900.68217
Milner, Robin
35
1990
Deriving bisimulation congruences for reactive systems. Zbl 0999.68141
Leifer, James J.; Milner, Robin
34
2000
Concurrent processes and their syntax. Zbl 0395.68030
Milne, George; Milner, Robin
28
1979
Pure bigraphs: structure and dynamics. Zbl 1093.68067
Milner, Robin
26
2006
The space and motion of communicating agents. Zbl 1175.68461
Milner, Robin
21
2009
Bigraphical reactive systems. Zbl 1006.68080
Milner, Robin
21
2001
Lectures on a calculus for communicating systems. Zbl 0609.68020
Milner, Robin
19
1985
Stochastic bigraphs. Zbl 1286.68354
Krivine, Jean; Milner, Robin; Troina, Angelo
18
2008
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
Local bigraphs and confluence: two conjectures (extended abstract). Zbl 1277.68197
Milner, Robin
13
2007
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
Lectures on a calculus for communicating systems. Zbl 0609.68021
Milner, Robin
12
1985
Models of LCF. Zbl 0364.02018
Milner, R.
12
1976
Processes: A mathematical model of computing agents. Zbl 0316.68017
Milner, Robin
12
1975
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, 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
10
2005
Action calculi or syntactic action structures. Zbl 0925.68151
Milner, Robin
10
1993
Unique decomposition of processes. Zbl 0777.68037
Milner, Robin; Moller, Faron
10
1993
Axioms for bigraphical structure. Zbl 1083.68082
Milner, Robin
9
2005
Matching of bigraphs. Zbl 1278.05184
Birkedal, Lars; Damgaard, Troels Christoffer; Glenstrup, Arne John; Milner, Robin
6
2007
Calculi for interaction. Zbl 0853.68123
Milner, Robin
6
1996
Theories for the global ubiquitous computer. Zbl 1126.68313
Milner, Robin
5
2004
Bigraphs for Petri nets. Zbl 1088.68125
Milner, Robin
5
2004
Equivalences on program schemes. Zbl 0209.18705
Milner, R.
5
1970
Action structures and the pi-calculus. Zbl 0872.08003
Milner, Robin
4
1995
An action structure for synchronous \(\pi\)-calculus. Zbl 0794.68055
Milner, Robin
4
1993
Verifying a protocol using relativized bisimulation. Zbl 0628.68022
Larsen, Kim G.; Milner, Robin
4
1987
Synthesis of communicating behaviour. Zbl 0411.68031
Milner, Robin
4
1978
Program semantics and mechanized proof. Zbl 0437.68006
Milner, R.
4
1976
Higher-order action calculi. Zbl 0953.03523
Milner, Robin
3
1994
Barbed bisimulation. Zbl 1425.68298
Milner, Robin; Sangiorgi, Davide
3
1992
The use of machines to assist in rigorous proof. Zbl 0572.68078
Milner, R.
3
1984
The spectra of words. Zbl 1171.68655
Milner, Robin
2
2005
A compositional protocol verification using relativized bisimulation. Zbl 0753.68067
Larsen, Kim G.; Milner, Robin
2
1992
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
ICF: A way of doing proofs with a machine. Zbl 0423.68049
Milner, Robin
2
1979
Program schemes and recursive function theory. Zbl 0221.68017
Milner, R.
2
1969
An inductive characterization of matching in binding bigraphs. Zbl 1259.68157
Damgaard, Troels C.; Glenstrup, Arne J.; Birkedal, Lars; Milner, Robin
1
2013
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
Turing, computing and communication. Zbl 1266.03001
Milner, Robin
1
2006
Embeddings and contexts for link graphs. Zbl 1076.68045
Milner, Robin
1
2005
Bigraphs as a model for mobile interaction. Zbl 1028.68561
Milner, Robin
1
2002
The pi calculus and its applications. Zbl 0948.68041
Milner, Robin
1
1998
Unique decomposition of processes. Zbl 0744.68050
Milner, Robin; Moller, Faron
1
1990
Algebras for communicating systems. Zbl 0482.68045
Milner, Robin
1
1978
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
21
2009
Stochastic bigraphs. Zbl 1286.68354
Krivine, Jean; Milner, Robin; Troina, Angelo
18
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
6
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
An interview with Robin Milner. Zbl 1315.01040
Milner, Robin; Berger, Martin
1
2006
Turing, computing and communication. Zbl 1266.03001
Milner, Robin
1
2006
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
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
Theories for the global ubiquitous computer. Zbl 1126.68313
Milner, Robin
5
2004
Bigraphs for Petri nets. Zbl 1088.68125
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
272
1999
The pi calculus and its applications. Zbl 0948.68041
Milner, Robin
1
1998
Calculi for interaction. Zbl 0853.68123
Milner, Robin
6
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
10
1993
An action structure for synchronous \(\pi\)-calculus. Zbl 0794.68055
Milner, Robin
4
1993
A calculus of mobile processes. II. Zbl 0752.68037
Milner, Robin; Parrow, Joachim; Walker, David
268
1992
A calculus of mobile processes. I. Zbl 0752.68036
Milner, Robin; Parrow, Joachim; Walker, David
205
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
35
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
986
1989
A complete axiomatisation for observational congruence of finite-state behaviours. Zbl 0688.68050
Milner, Robin
54
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
282
1985
Lectures on a calculus for communicating systems. Zbl 0609.68020
Milner, Robin
19
1985
Lectures on a calculus for communicating systems. Zbl 0609.68021
Milner, Robin
12
1985
A complete inference system for a class of regular behaviours. Zbl 0562.68065
Milner, Robin
79
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
167
1983
A modal characterisation of observable machine-behaviour. Zbl 0474.68074
Milner, R.
49
1981
A calculus of communicating systems. Zbl 0452.68027
Milner, Robin
532
1980
On observing nondeterminism and concurrency. Zbl 0441.68018
Hennessy, Matthew; Milner, Robin
50
1980
Edinburgh LCF. A mechanized logic of computation. Zbl 0421.68039
Gordon, Michael J.; Milner, Arthur J.; Wadsworth, Christopher P.
118
1979
Concurrent processes and their syntax. Zbl 0395.68030
Milne, George; Milner, Robin
28
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
185
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
96
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
12
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,699 Authors

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

Cited in 135 Serials

644 Theoretical Computer Science
240 Information and Computation
115 Formal Aspects of Computing
93 Acta Informatica
78 The Journal of Logic and Algebraic Programming
75 Information Processing Letters
73 MSCS. Mathematical Structures in Computer Science
53 Journal of Logical and Algebraic Methods in Programming
49 Journal of Computer and System Sciences
38 Journal of Automated Reasoning
29 Formal Methods in System Design
27 Science of Computer Programming
25 Journal of Functional Programming
25 Logical Methods in Computer Science
24 Annals of Pure and Applied Logic
22 Distributed Computing
20 Discrete Event Dynamic Systems
14 Information Sciences
13 Artificial Intelligence
13 Journal of Applied Logic
12 RAIRO. Theoretical Informatics and Applications
12 Computer Languages, Systems & Structures
11 Journal of Symbolic Computation
11 Higher-Order and Symbolic Computation
10 Automatica
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 Computers & Mathematics with Applications
2 Discrete Applied Mathematics
2 International Journal of Control
2 Applied Mathematics and Computation
2 Mathematical Systems Theory
2 SIAM Journal on Control and Optimization
2 Topology and its Applications
2 Physica D
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 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
...and 35 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.