Milner, R. (Robin) 19342010
Overview
Works:  103 works in 383 publications in 3 languages and 5,662 library holdings 

Genres:  Conference proceedings 
Roles:  Author, Honoree, Editor, Dedicatee, Author of introduction 
Classifications:  QA267, 005.133 
Publication Timeline
.
Most widely held works by
R Milner
The definition of Standard ML by
R Milner(
Book
)
21 editions published between 1988 and 1997 in English and held by 524 WorldCat member libraries worldwide
Software  Programming Languages
21 editions published between 1988 and 1997 in English and held by 524 WorldCat member libraries worldwide
Software  Programming Languages
A calculus of communicating systems by
R Milner(
Book
)
25 editions published between 1980 and 2007 in 3 languages and held by 396 WorldCat member libraries worldwide
25 editions published between 1980 and 2007 in 3 languages and held by 396 WorldCat member libraries worldwide
Communication and concurrency by
R Milner(
Book
)
25 editions published between 1988 and 2006 in English and held by 395 WorldCat member libraries worldwide
Mathematics of Computing  Parallelism
25 editions published between 1988 and 2006 in English and held by 395 WorldCat member libraries worldwide
Mathematics of Computing  Parallelism
Computing tomorrow : future research directions in computer science(
Book
)
9 editions published between 1996 and 2009 in English and held by 366 WorldCat member libraries worldwide
9 editions published between 1996 and 2009 in English and held by 366 WorldCat member libraries worldwide
Edinburgh LCF : a mechanised logic of computation by
Michael J. C Gordon(
Book
)
20 editions published between 1977 and 1979 in 4 languages and held by 361 WorldCat member libraries worldwide
20 editions published between 1977 and 1979 in 4 languages and held by 361 WorldCat member libraries worldwide
Communicating and mobile systems : the [symbol for pi]calculus by
R Milner(
Book
)
23 editions published between 1999 and 2010 in English and held by 299 WorldCat member libraries worldwide
The calculus is very simple but powerful. Its most prominent notion is that of a name, and it has two important ingredients: the concept of behavioural (or observational) equivalence, and the use of a new theory of types to classify patterns of interactive behaviour. The internet, and its communication protocols fall within the scope of the theory just as much as computer programs, data structures, algorithms and programming languages. This book is the first text book on the subject; it has been longawaited by professionals and will be welcomed by them, and their students
23 editions published between 1999 and 2010 in English and held by 299 WorldCat member libraries worldwide
The calculus is very simple but powerful. Its most prominent notion is that of a name, and it has two important ingredients: the concept of behavioural (or observational) equivalence, and the use of a new theory of types to classify patterns of interactive behaviour. The internet, and its communication protocols fall within the scope of the theory just as much as computer programs, data structures, algorithms and programming languages. This book is the first text book on the subject; it has been longawaited by professionals and will be welcomed by them, and their students
Commentary on Standard ML by
R Milner(
Book
)
7 editions published between 1990 and 1991 in English and held by 255 WorldCat member libraries worldwide
7 editions published between 1990 and 1991 in English and held by 255 WorldCat member libraries worldwide
Proof, language, and interaction : essays in honour of Robin Milner(
Book
)
6 editions published in 2000 in English and held by 193 WorldCat member libraries worldwide
6 editions published in 2000 in English and held by 193 WorldCat member libraries worldwide
The space and motion of communicating agents by
R Milner(
Book
)
11 editions published in 2009 in English and held by 170 WorldCat member libraries worldwide
"The world is increasingly populated with interactive agents distributed in space, real or abstract. These agents can be artificial, as in computing systems that manage and monitor traffic or health; or they can be natural, e.g. communicating humans, or biological cells. It is important to be able to model networks of agents in order to understand and optimise their behaviour. Robin Milner's purpose is to describe in this book just such a model, and he does so by presenting a unified and rigorous structural theory, based on bigraphs, for systems of interacting agents. This theory is a bridge between the existing theories of concurrent processes and the aspirations for ubiquitous systems, whose enormous size challenges our understanding." "The book is reasonably selfcontained mathematically, and is designed to be learned from: examples and exercises abound, solutions for the latter are provided." (p. [4]) of cover
11 editions published in 2009 in English and held by 170 WorldCat member libraries worldwide
"The world is increasingly populated with interactive agents distributed in space, real or abstract. These agents can be artificial, as in computing systems that manage and monitor traffic or health; or they can be natural, e.g. communicating humans, or biological cells. It is important to be able to model networks of agents in order to understand and optimise their behaviour. Robin Milner's purpose is to describe in this book just such a model, and he does so by presenting a unified and rigorous structural theory, based on bigraphs, for systems of interacting agents. This theory is a bridge between the existing theories of concurrent processes and the aspirations for ubiquitous systems, whose enormous size challenges our understanding." "The book is reasonably selfcontained mathematically, and is designed to be learned from: examples and exercises abound, solutions for the latter are provided." (p. [4]) of cover
Automata, languages, and programming : third international colloquium at the University of Edinburgh by Languages and Programming Colloquium on Automata(
Book
)
12 editions published in 1976 in English and held by 127 WorldCat member libraries worldwide
12 editions published in 1976 in English and held by 127 WorldCat member libraries worldwide
Action structures for the [pi]calculus by
R Milner(
Book
)
8 editions published between 1992 and 1993 in English and held by 26 WorldCat member libraries worldwide
For algebraic process calculi in particular, it is shown how they may be defined by a uniform superposition of process structure upon an action structure specific to each calculus. This allows a common treatment of bisimulation congruence. The theory of action structures emphasizes the notion of effect; that is, the effect which any interaction among processes exerts upon its participants. Effects are degenerate actions, and constitute a subactionstructure with special properties which support the general treatment of bisimulation. Other current work on action structures is outlined, in particular their use for the [pi]calculus. Challenges are posed for the algebraic theory, including the study of combinations of action structures
8 editions published between 1992 and 1993 in English and held by 26 WorldCat member libraries worldwide
For algebraic process calculi in particular, it is shown how they may be defined by a uniform superposition of process structure upon an action structure specific to each calculus. This allows a common treatment of bisimulation congruence. The theory of action structures emphasizes the notion of effect; that is, the effect which any interaction among processes exerts upon its participants. Effects are degenerate actions, and constitute a subactionstructure with special properties which support the general treatment of bisimulation. Other current work on action structures is outlined, in particular their use for the [pi]calculus. Challenges are posed for the algebraic theory, including the study of combinations of action structures
Modal logics for mobile processes by
R Milner(
Book
)
6 editions published in 1991 in English and Undetermined and held by 13 WorldCat member libraries worldwide
Abstract: "In process algebras, bisimulation equivalence is typically defined directly in terms of the operational rules of action; it also has an alternative characterisation in terms of a simple modal logic (sometimes called HennessyMilner logic [sic]. This paper first defines two forms of bisimulation equivalence for the [pi]calculus, a process algebra which allows dynamic reconfiguration among processes; it then explores a family of possible logics, with different modal operators. It is proven that two of these logics characterise the two bisimulation equivalences. Also, the relative expressive power of all the logics is exhibited as a lattice."
6 editions published in 1991 in English and Undetermined and held by 13 WorldCat member libraries worldwide
Abstract: "In process algebras, bisimulation equivalence is typically defined directly in terms of the operational rules of action; it also has an alternative characterisation in terms of a simple modal logic (sometimes called HennessyMilner logic [sic]. This paper first defines two forms of bisimulation equivalence for the [pi]calculus, a process algebra which allows dynamic reconfiguration among processes; it then explores a family of possible logics, with different modal operators. It is proven that two of these logics characterise the two bisimulation equivalences. Also, the relative expressive power of all the logics is exhibited as a lattice."
Standard ML by R Harper(
Book
)
7 editions published in 1986 in English and held by 11 WorldCat member libraries worldwide
7 editions published in 1986 in English and held by 11 WorldCat member libraries worldwide
On using Edinburgh LCF to prove correctness of a parsing algorithm by
Avra Jean Cohn(
Book
)
6 editions published in 1982 in English and Undetermined and held by 9 WorldCat member libraries worldwide
6 editions published in 1982 in English and Undetermined and held by 9 WorldCat member libraries worldwide
Algebraic laws for nondeterminism and concurrency by
Matthew Hennessy(
Book
)
3 editions published in 1983 in English and Undetermined and held by 8 WorldCat member libraries worldwide
3 editions published in 1983 in English and Undetermined and held by 8 WorldCat member libraries worldwide
The polyadic [pi]calculus : a tutorial by
R Milner(
Book
)
4 editions published in 1991 in English and held by 8 WorldCat member libraries worldwide
Abstract: "The [pi]calculus is a model of concurrent computation based upon the notion of naming. It is first presented in its simplest and original form, with the help of several illustrative applications. Then it is generalized from monadic to polyadic form. Semantics is done in terms of both a reduction system and a version of labelled transitions called commitment; the known algebraic axiomatization of strong bisimilarity is given in the new setting, and so also is a characterization in modal logic. Some theorems about the replication operator are proved. Justification for the polyadic form is provided by the concepts of sort and sorting which it supports. Several illustrations of different sortings are given
4 editions published in 1991 in English and held by 8 WorldCat member libraries worldwide
Abstract: "The [pi]calculus is a model of concurrent computation based upon the notion of naming. It is first presented in its simplest and original form, with the help of several illustrative applications. Then it is generalized from monadic to polyadic form. Semantics is done in terms of both a reduction system and a version of labelled transitions called commitment; the known algebraic axiomatization of strong bisimilarity is given in the new setting, and so also is a characterization in modal logic. Some theorems about the replication operator are proved. Justification for the polyadic form is provided by the concepts of sort and sorting which it supports. Several illustrations of different sortings are given
A complete inference system for a class of regular behaviours [sic] by
R Milner(
Book
)
4 editions published in 1982 in English and Undetermined and held by 8 WorldCat member libraries worldwide
4 editions published in 1982 in English and Undetermined and held by 8 WorldCat member libraries worldwide
Coinduction in relational semantics by
R Milner(
Book
)
4 editions published in 1988 in English and Undetermined and held by 7 WorldCat member libraries worldwide
4 editions published in 1988 in English and Undetermined and held by 7 WorldCat member libraries worldwide
A calculus of mobile processes by
R Milner(
Book
)
4 editions published in 1989 in English and Undetermined and held by 7 WorldCat member libraries worldwide
Abstract: "This is the second of two papers in which we present the picalculus, a calculus of mobile processes. The companion paper [1] contains an introduction to the calculus through a sequence of examples, together with statements of many results about it and a discussion of the history of process mobility. The purpose of the present paper is to provide a detailed presentation of some of the theory of the calculus developed to date, and in particular to establish most of the results stated in the companion paper
4 editions published in 1989 in English and Undetermined and held by 7 WorldCat member libraries worldwide
Abstract: "This is the second of two papers in which we present the picalculus, a calculus of mobile processes. The companion paper [1] contains an introduction to the calculus through a sequence of examples, together with statements of many results about it and a discussion of the history of process mobility. The purpose of the present paper is to provide a detailed presentation of some of the theory of the calculus developed to date, and in particular to establish most of the results stated in the companion paper
The definition of Standard ML : Version 3 by
Robert Harper(
Book
)
10 editions published between 1988 and 1989 in English and Undetermined and held by 7 WorldCat member libraries worldwide
10 editions published between 1988 and 1989 in English and Undetermined and held by 7 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
Useful Links
Associated Subjects
Algorithms Artificial intelligence Calculus Communication CommunicationData processing CommunicationNetwork analysisMathematical models Computable functions Computable functionsData processing Computer networksMathematical models Computer programming Computers Computer science Computer scienceResearch Computer software Data structures (Computer science) Digital communicationsMathematical models Economics Edinburgh LCF (Computer system) Electrical engineering Electronic data processingMathematical models Formal languages Lambda calculus Machine theory Mathematics Milner, R.(Robin), ML (Computer program language) Mobile computing Modality (Logic) Natural language processing (Computer science) Nets (Mathematics) Operating systems (Computers) Parallel processing (Electronic computers) Parsing (Computer grammar) Petri nets Picalculus Programming (Mathematics) Semantics Set theory Sorting (Electronic computers) System design Telecommunication systems Telecommunication systemsMathematical models Trees (Graph theory)
Alternative Names
Milner, Arthur J.
Milner, Arthur John Robin Gorell.
Milner, Arthur John Robin Gorell 1934
Milner, Arthur John Robin Gorell 19342010
Milner, R.
Milner, R. (Robin)
Milner, Robin
Milner, Robin 19342010
Robin Milner britischer Hochschullehrer, Professor fr Informatik und Turingpreistrger
Robin Milner britisk ingenir og informatikar
Robin Milner britisk ingenir og informatiker
Robin Milner brittisk ingenjr och datavetare
Robin Milner informaticien britannique
Robin Milner informatico britannico
Robin Milner informtico terico del Reino Unido
Милнер, Робин
Робин Милнер
رابین میلز دانشمند علوم کامپیوتر و مهندس بریتانیایی
روبن ميلنر
রবিন মিলনার
ロビン・ミルナー
罗宾米尔纳
Languages
Covers