Milner, R. (Robin) 19342010Overview
Publication Timeline
Most widely held works by
R Milner
Proof, language, and interaction essays in honour of Robin Milner
(
)
6 editions published in 2000 in English and held by 1,135 WorldCat member libraries worldwide
Computing tomorrow future research directions in computer science
(
)
9 editions published between 1996 and 2009 in English and held by 1,040 WorldCat member libraries worldwide
The definition of Standard ML
by R Milner
(
Book
)
21 editions published between 1988 and 1997 in English and Undetermined and held by 639 WorldCat member libraries worldwide Software  Programming Languages
A calculus of communicating systems
by R Milner
(
Book
)
22 editions published between 1980 and 2007 in 3 languages and held by 427 WorldCat member libraries worldwide
Communication and concurrency
by R Milner
(
Book
)
21 editions published between 1988 and 2006 in English and held by 386 WorldCat member libraries worldwide Mathematics of Computing  Parallelism
Edinburgh LCF : a mechanised logic of computation
by Michael J. C Gordon
(
Book
)
4 editions published in 1979 in English and German and held by 311 WorldCat member libraries worldwide
Communicating and mobile systems : the [symbol for pi]calculus
by R Milner
(
Book
)
15 editions published between 1999 and 2004 in English and held by 284 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
)
6 editions published between 1990 and 1991 in English and held by 251 WorldCat member libraries worldwide
The space and motion of communicating agents
by R Milner
(
Book
)
12 editions published in 2009 in English and held by 219 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
)
4 editions published in 1976 in English and held by 94 WorldCat member libraries worldwide
Automata, languages and programming : third international Colloquium at the University of Edinburgh, 20, 21, 22, 23, July 1976
by Languages, and Programming Colloquium on Automata
(
Book
)
2 editions published in 1976 in English and held by 25 WorldCat member libraries worldwide
Action structures for the [pi]calculus
by R Milner
(
Book
)
4 editions published in 1993 in English and Undetermined and held by 12 WorldCat member libraries worldwide
Modal logics for mobile processes
by R Milner
(
Book
)
5 editions published in 1991 in English and Undetermined and held by 12 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."
Action structures
by R Milner
(
Book
)
2 editions published in 1992 in English and held by 11 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
<>
by R Milner
(
Book
)
2 editions published in 1999 in English and held by 9 WorldCat member libraries worldwide
Logic for computable functions description of a machine implementation
by R Milner
(
Book
)
4 editions published in 1972 in English and Undetermined and held by 8 WorldCat member libraries worldwide The author uses the name LCF also for the logic itself, which is presented at the start of the paper, The proofchecking program is designed to allow the user interactively to generate formal proofs about computable functions and functionals over a variety of domains, including those of interest to the computer scientist  for example integers, lists and computer programs and their semantics. (Modified author abstract)
A complete inference system for a class of regular behaviours [sic]
by R Milner
(
Book
)
3 editions published in 1982 in English and Undetermined and held by 7 WorldCat member libraries worldwide
Communicating and mobile systems: the picalculus
by R Milner
(
Book
)
5 editions published between 1999 and 2010 in English and held by 7 WorldCat member libraries worldwide
Standard ML
by Robert Harper
(
Book
)
4 editions published in 1986 in English and held by 7 WorldCat member libraries worldwide
Contexts and embeddings for closed shallow action graphs
by Gian Luca Cattani
(
Book
)
2 editions published in 2000 in English and held by 6 WorldCat member libraries worldwide Abstract: "Action calculi, which have a graphical presentation, were introduced to develop a theory shared among different calculi for interactive systems. The [pi]calculus, the [lambda] calculus, Petri nets, the Ambient calculus and others may all be represented as action calculi. This paper develops a part of the shared theory. A recent paper by two of the authors was concerned with the notion of reactive system, essentially a category of process contexts whose behaviour is presented as a reduction relation. It was shown that one can, for any reactive system, uniformly derive a labelled transition system whose associated behavioural equivalence relations (e.g. trace equivalence or bisimilarity) will be congruential, under the condition that certain relative pushouts exist in the reactive system. In the present paper we treat closed, shallow action calculi (those with no free names and no nested actions) as a generic application of these results. We define a category of action graphs and embeddings, closely linked to a category of contexts which forms a reactive system. This connection is of independent interest; it also serves our present purpose, as it enables us to demonstrate that appropriate relative pushouts exist. Complemented by work to be reported elsewhere, this demonstration yields labelled transition systems with behavioural congruences for a substantial class of action calculi. We regard this work as a step towards comparable results for the full class." more
fewer
Audience Level
Related Identities
Associated Subjects
Artificial intelligence Calculus CalculusComputer programs Communication CommunicationNetwork analysisMathematical models Computable functionsData processing Computer networksMathematical models Computer programming Computers Computer science Computer scienceResearch Computer software Digital communicationsMathematical models Economics Edinburgh LCF (Computer system) Electrical engineering Electronic data processingMathematical models Embedded computer systems Formal languages Graph theory Machine theory Mathematics Milner, R.(Robin), ML (Computer program language) Mobile computing Modality (Logic) Nets (Mathematics) Operating systems (Computers) Parallel processing (Electronic computers) Petri nets Picalculus 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
Languages
Covers
