WorldCat Identities

Milner, R. (Robin) 1934-2010

Overview
Works: 95 works in 396 publications in 3 languages and 6,159 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Honoree, Author of introduction, Dedicatee
Classifications: QA267, 005.133
Publication Timeline
.
Most widely held works by R Milner
Communication and concurrency by R Milner( Book )

24 editions published between 1988 and 2006 in English and held by 411 WorldCat member libraries worldwide

Mathematics of Computing -- Parallelism
A calculus of communicating systems by R Milner( Book )

24 editions published between 1980 and 2007 in 3 languages and held by 365 WorldCat member libraries worldwide

Computing tomorrow : future research directions in computer science by I. C Wand( Book )

11 editions published between 1996 and 2011 in English and held by 359 WorldCat member libraries worldwide

First published in 1996, this collection of essays by distinguished computer scientists celebrates the achievements of research and speculates about the unsolved problems in computer science that require future investigation. Since the subject stretches from technology in the field, through engineering design to foundations in mathematics, there is a wide variety of concerns and approaches among the authors. The book's purpose is to show that long-term research in computer science is crucial and that it must not be driven solely by commercial considerations. The authors do not shirk the difficult aspects of their topics, but try to expose them in the simplest terms possible without diluting them, in order that the reader can understand the issues involved. Thus the book also represents a broad overview of much of the state of knowledge and future expectations of computer science, illustrating that it is much more than a technology and it is a fully fledged and growing intellectual discipline with its own engineering principles and its own scientific concepts and models. It will be stimulating reading because it represents the views of prominent authorities who have had a significant impact on the direction of innovation, research and development in computer science
The definition of Standard ML by R Milner( Book )

18 editions published between 1988 and 1990 in English and held by 323 WorldCat member libraries worldwide

Communicating and mobile systems : the [symbol for pi]-calculus by R Milner( Book )

29 editions published between 1999 and 2010 in English and Chinese and held by 323 WorldCat member libraries worldwide

In this book Robin Milner introduces a new way of modelling communication. He treats computers and their programs as themselves built from communicating parts, rather than adding communication as an extra level of activity. But the aim of the book is to develop a theory, the [pi]-calculus, in which these things can be treated rigorously. The [pi]-calculus differs from other models of communicating behaviour mainly in its treatment of mobility. The movement of a piece of data inside a computer program is treated exactly the same as the transfer of a message - or indeed an entire computer program - across the internet. One can also describe networks which reconfigure themselves
Edinburgh LCF : a mechanised logic of computation by Michael J. C Gordon( Book )

12 editions published between 1977 and 1979 in 3 languages and held by 262 WorldCat member libraries worldwide

Commentary on Standard ML by R Milner( Book )

8 editions published between 1990 and 1991 in English and held by 254 WorldCat member libraries worldwide

The definition of standard ML : revised by R Milner( Book )

17 editions published in 1997 in English and Undetermined and held by 223 WorldCat member libraries worldwide

Software -- Programming Languages
Proof, language, and interaction : essays in honour of Robin Milner( Book )

9 editions published in 2000 in English and held by 196 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 177 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 self-contained 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 S Michaelson( Book )

21 editions published in 1976 in English and Undetermined and held by 137 WorldCat member libraries worldwide

Action structures for the [pi]-calculus by R Milner( Book )

5 editions published in 1993 in English and held by 15 WorldCat member libraries worldwide

Action structures by R Milner( Book )

3 editions published in 1992 in English and held by 13 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 sub-actionstructure 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
Standard ML by University of Edinburgh( Book )

9 editions published between 1986 and 1987 in English and Undetermined and held by 13 WorldCat member libraries worldwide

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 Hennessy-Milner 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."
Logic for computable functions description of a machine implementation by R Milner( Book )

6 editions published in 1972 in English and Undetermined and held by 10 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 proof-checking 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)
The polyadic [pi]-calculus : a tutorial by R Milner( Book )

4 editions published in 1991 in English and held by 9 WorldCat member libraries worldwide

One example is the presentation of data structures as processes which respect a particular sorting; another is the sorting for a known translation of the [lambda]-calculus into [pi]-calculus. For this translation, the equational validity of [beta]-conversion is proved with the help of replication theorems. THe paper ends with an extension of the [pi]-calculus to [omega]-order processes, and a brief account of the demonstration by Davide Sangiorgi that higher-order processes may be faithfully encoded at first-order. This extends and strengthens the original result of this kind given by Bent Thomson for second-order processes."
On using Edinburgh LCF to prove correctness of a parsing algorithm by A Cohn( Book )

6 editions published in 1982 in English and held by 9 WorldCat member libraries worldwide

Co-induction in relational semantics by R Milner( Book )

4 editions published in 1988 in English and Undetermined and held by 8 WorldCat member libraries worldwide

A Calculus of Communication Systems by R Milner( )

2 editions published in 1980 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.55 (from 0.04 for Computing ... to 0.87 for A Calculus ...)

Communication and concurrency
Alternative Names
Milner, Arthur J.

Milner, Arthur John Robin Gorell.

Milner, Arthur John Robin Gorell 1934-

Milner, Arthur John Robin Gorell 1934-2010

Milner, R.

Milner, R. (Robin)

Milner, Robin

Milner, Robin 1934-2010

Robin Milner britischer Hochschullehrer, Professor für Informatik und Turingpreisträger

Robin Milner britisk ingeniør og informatikar

Robin Milner britisk ingeniør og informatiker

Robin Milner Brits informaticus (1934-2010)

Robin Milner brittisk ingenjör och datavetare

Robin Milner informaticien britannique

Robin Milner informatico britannico

Robin Milner informático teórico del Reino Unido

Милнер, Робин

Робин Милнер

Робін Мілнер

רובין מילנר

رابین میلز دانشمند علوم کامپیوتر و مهندس بریتانیایی

روبن ميلنر

রবিন মিলনার

ロビン・ミルナー

罗宾·米尔纳

Languages
English (215)

German (2)

Chinese (2)

Covers
A calculus of communicating systemsComputing tomorrow : future research directions in computer scienceThe definition of Standard MLCommunicating and mobile systems : the [symbol for pi]-calculusEdinburgh LCF : a mechanised logic of computationThe definition of standard ML : revisedProof, language, and interaction : essays in honour of Robin MilnerThe space and motion of communicating agentsA Calculus of Communication Systems