Milner, R. (Robin) 19342010
Overview
Works:  122 works in 414 publications in 3 languages and 6,379 library holdings 

Genres:  Conference papers and proceedings 
Roles:  Author, Editor, Honoree, Author of introduction, Dedicatee 
Publication Timeline
.
Most widely held works by
R Milner
Proof, language, and interaction : essays in honour of Robin Milner(
)
10 editions published in 2000 in English and held by 1,527 WorldCat member libraries worldwide
This collection of original essays reflects the breadth of current research in computer science.This collection of original essays reflects the breadth of current research in computer science. Robin Milner, a major figure in the field, has made many fundamental contributions, particularly in theoretical computer science, the theory of programming languages, and functional programming languages. Following a brief biography of Milner, the book contains five sections: Semantic Foundations, Programming Logic, Programming Languages, Concurrency, and Mobility. Together the pieces convey a seamless whole, ranging from highly abstract concepts to systems of great utility.ContributorsSamson Abramsky, J. C. M. Baeten, Sergey Berezin, J. A. Bergstra, Gérard Berry, Lars Birkedal, Gérard Boudol, Edmund Clarke, Pierre Collette, Robert L. Constable, PierreLouis Curien, Jaco de Bakker, Uffe H. Engberg, William Ferreira, Fabio Gadducci, Mike Gordon, Robert Harper, Matthew Hennessy, Yoram Hirshfeld, C. A. R. Hoare, Gérard Huet, Paul B. Jackson, Alan S. A. Jeffrey, Somesh Jha, He Jifeng, Cliff B. Jones, Cosimo Laneve, Xinxin Liu, Will Marrero, Faron Moller, Ugo Montanari, Pavel Naumov, Mogens Nielsen, Joachim Parrow, Lawrence C. Paulson, Benjamin C. Pierce, Gordon Plotkin, M. A. Reniers, Amokrane Saïbi, Augusto Sampaio, Davide Sangiorgi, Scott A. Smolka, Eugene W. Stark, Christopher Stone, Mads Tofte, David N. Turner, Juan Uribe, Franck van Breugel, David Walker, Glynn Winskel
10 editions published in 2000 in English and held by 1,527 WorldCat member libraries worldwide
This collection of original essays reflects the breadth of current research in computer science.This collection of original essays reflects the breadth of current research in computer science. Robin Milner, a major figure in the field, has made many fundamental contributions, particularly in theoretical computer science, the theory of programming languages, and functional programming languages. Following a brief biography of Milner, the book contains five sections: Semantic Foundations, Programming Logic, Programming Languages, Concurrency, and Mobility. Together the pieces convey a seamless whole, ranging from highly abstract concepts to systems of great utility.ContributorsSamson Abramsky, J. C. M. Baeten, Sergey Berezin, J. A. Bergstra, Gérard Berry, Lars Birkedal, Gérard Boudol, Edmund Clarke, Pierre Collette, Robert L. Constable, PierreLouis Curien, Jaco de Bakker, Uffe H. Engberg, William Ferreira, Fabio Gadducci, Mike Gordon, Robert Harper, Matthew Hennessy, Yoram Hirshfeld, C. A. R. Hoare, Gérard Huet, Paul B. Jackson, Alan S. A. Jeffrey, Somesh Jha, He Jifeng, Cliff B. Jones, Cosimo Laneve, Xinxin Liu, Will Marrero, Faron Moller, Ugo Montanari, Pavel Naumov, Mogens Nielsen, Joachim Parrow, Lawrence C. Paulson, Benjamin C. Pierce, Gordon Plotkin, M. A. Reniers, Amokrane Saïbi, Augusto Sampaio, Davide Sangiorgi, Scott A. Smolka, Eugene W. Stark, Christopher Stone, Mads Tofte, David N. Turner, Juan Uribe, Franck van Breugel, David Walker, Glynn Winskel
Computing tomorrow : future research directions in computer science by
I. C Wand(
)
14 editions published between 1996 and 2011 in English and held by 1,399 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 longterm 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
14 editions published between 1996 and 2011 in English and held by 1,399 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 longterm 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
A calculus of communicating systems by
R Milner(
Book
)
27 editions published between 1980 and 2007 in English and German and held by 504 WorldCat member libraries worldwide
27 editions published between 1980 and 2007 in English and German and held by 504 WorldCat member libraries worldwide
The definition of standard ML : revised by
R Milner(
)
13 editions published in 1997 in English and held by 420 WorldCat member libraries worldwide
Standard ML is generalpurpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers. Because computer programs are increasingly required to withstand rigorous analysis, it is all the more important that the language in which they are written be defined with full rigor. The authors have defined their semantic objects in mathematical notation that is completely independent of Standard ML
13 editions published in 1997 in English and held by 420 WorldCat member libraries worldwide
Standard ML is generalpurpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers. Because computer programs are increasingly required to withstand rigorous analysis, it is all the more important that the language in which they are written be defined with full rigor. The authors have defined their semantic objects in mathematical notation that is completely independent of Standard ML
Communication and concurrency by
R Milner(
Book
)
26 editions published between 1988 and 2006 in English and held by 416 WorldCat member libraries worldwide
Mathematics of Computing  Parallelism
26 editions published between 1988 and 2006 in English and held by 416 WorldCat member libraries worldwide
Mathematics of Computing  Parallelism
Edinburgh LCF : a mechanised logic of computation by
Michael J. C Gordon(
Book
)
6 editions published in 1979 in English and German and held by 403 WorldCat member libraries worldwide
6 editions published in 1979 in English and German and held by 403 WorldCat member libraries worldwide
Communicating and mobile systems : the [symbol for pi]calculus by
R Milner(
Book
)
31 editions published between 1999 and 2010 in English and Chinese and held by 343 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
31 editions published between 1999 and 2010 in English and Chinese and held by 343 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
The definition of Standard ML by
R Milner(
Book
)
20 editions published between 1989 and 2001 in English and held by 338 WorldCat member libraries worldwide
Software  Programming Languages
20 editions published between 1989 and 2001 in English and held by 338 WorldCat member libraries worldwide
Software  Programming Languages
Commentary on Standard ML by
R Milner(
Book
)
9 editions published between 1990 and 1991 in English and Undetermined and held by 263 WorldCat member libraries worldwide
9 editions published between 1990 and 1991 in English and Undetermined and held by 263 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 259 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
12 editions published in 2009 in English and held by 259 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
S Michaelson(
Book
)
21 editions published in 1976 in English and held by 142 WorldCat member libraries worldwide
21 editions published in 1976 in English and held by 142 WorldCat member libraries worldwide
A Calculus of Communicating Systems by
R Milner(
)
1 edition published in 1980 in English and held by 30 WorldCat member libraries worldwide
1 edition published in 1980 in English and held by 30 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
Action structures are briefly compared with some other general models."
3 editions published in 1992 in English and held by 13 WorldCat member libraries worldwide
Action structures are briefly compared with some other general models."
Modal logics for mobile processes by
R Milner(
Book
)
4 editions published in 1991 in English and held by 11 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."
4 editions published in 1991 in English and held by 11 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 for the [pi]calculus by
R Milner(
Book
)
2 editions published in 1993 in English and held by 11 WorldCat member libraries worldwide
2 editions published in 1993 in English and held by 11 WorldCat member libraries worldwide
Logic for computable functions description of a machine implementation by
R Milner(
Book
)
6 editions published in 1972 in English and held by 11 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)
6 editions published in 1972 in English and held by 11 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)
Standard ML by
University of Edinburgh(
Book
)
8 editions published between 1986 and 1987 in English and Undetermined and held by 10 WorldCat member libraries worldwide
8 editions published between 1986 and 1987 in English and Undetermined and held by 10 WorldCat member libraries worldwide
On using Edinburgh LCF to prove correctness of a parsing algorithm by
Arthur Cohn(
Book
)
6 editions published in 1982 in English and held by 9 WorldCat member libraries worldwide
6 editions published in 1982 in English and held by 9 WorldCat member libraries worldwide
The polyadic [pi]calculus : a tutorial by
R Milner(
Book
)
3 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
3 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
Models of LCF by
R Milner(
Book
)
5 editions published in 1973 in English and Undetermined and held by 8 WorldCat member libraries worldwide
LCF is a deductive system for computable functions proposed by D. Scott in 1969 in an unpublished memorandum. The purpose of the present paper is to demonstrate the soundness of the system with respect to certain models, which are partially ordered domains of continuous functions. This demonstration was supplied by Scott in his memorandum; the present paper is merely intended to make this work more accessible. (Author)
5 editions published in 1973 in English and Undetermined and held by 8 WorldCat member libraries worldwide
LCF is a deductive system for computable functions proposed by D. Scott in 1969 in an unpublished memorandum. The purpose of the present paper is to demonstrate the soundness of the system with respect to certain models, which are partially ordered domains of continuous functions. This demonstration was supplied by Scott in his memorandum; the present paper is merely intended to make this work more accessible. (Author)
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Tofte, Mads Editor
 Plotkin, G. (Gordon) 1946 Editor
 Stirling, Colin P. Editor
 Wand, I. C. (Ian C.) 1941 Author Editor
 Wadsworth, Christopher P.
 Gordon, Michael J. C. 1948 Author
 Harper, Robert 1957 Author
 Michaelson, S. Author Editor
 University of Edinburgh Department of Computer Science
 Parrow, Joachim 1956
Useful Links
Associated Subjects
Algorithms Artificial intelligence Business BusinessData processing 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 Information technology 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) Sorting (Electronic computers) System design Telecommunication systems Telecommunication systemsMathematical models
Covers
Alternative Names
Artur Con Robin Qorell Milner
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, R. (Robin), 1934
Milner, Robin
Milner, Robin 19342010
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 (19342010)
Robin Milner brittisk ingenjör och datavetare
Robin Milner brytyjski informatyk
Robin Milner informaticien britannique
Robin Milner informatico britannico
Robin Milner informático teórico del Reino Unido
Милнер, Робин
Робин Милнер
Робін Мілнер
רובין מילנר
رابین میلز دانشمند علوم کامپیوتر و مهندس بریتانیایی
روبن ميلنر
রবিন মিলনার
ロビン・ミルナー
罗宾·米尔纳
Languages