Milner, R. (Robin) 1934-2010
Most widely held works by R Milner
Proof, language, and interaction essays in honour of Robin Milner ( Book )
7 editions published in 2000 in English and held by 554 libraries worldwide
Computing tomorrow : future research directions in computer science ( Book )
7 editions published between 1996 and 2009 in English and held by 388 libraries worldwide
Communication and concurrency by R Milner ( Book )
14 editions published between 1989 and 2006 in English and German and held by 348 libraries worldwide
Mathematics of Computing -- Parallelism.
A calculus of communicating systems by R Milner ( Book )
10 editions published between 1980 and 1986 in English and held by 345 libraries worldwide
Edinburgh LCF : a mechanised logic of computation by Michael J. C Gordon ( Book )
5 editions published in 1979 in English and held by 326 libraries worldwide
The definition of Standard ML by R Milner ( Book )
3 editions published in 1990 in English and held by 322 libraries worldwide
Commentary on Standard ML by R Milner ( Book )
5 editions published between 1990 and 1991 in English and held by 254 libraries worldwide
Communicating and mobile systems : the [symbol for pi]-calculus by R Milner ( Book )
7 editions published between 1999 and 2004 in English and held by 231 libraries worldwide
The definition of standard ML : revised ( Book )
3 editions published in 1997 in English and held by 230 libraries worldwide
The space and motion of communicating agents by R Milner ( Book )
9 editions published in 2009 in English and held by 162 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. ) of cover.
Automata, languages, and programming : third international colloquium at the University of Edinburgh by Languages and Programming Colloquium on Automata ( Book )
2 editions published in 1976 in English and held by 89 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 )
1 edition published in 1976 in English and held by 23 libraries worldwide
The definition of standard ML ( Book )
6 editions published between 1988 and 1997 in English and Undetermined and held by 14 libraries worldwide
Software -- Programming Languages.
Communicating and mobile systems: the pi-calculus by Robin Milner ( Book )
4 editions published between 2001 and 2007 in English and held by 14 libraries worldwide
Action structures by Robin Milner ( Book )
2 editions published in 1992 in English and held by 13 libraries worldwide
Abstract: "Action structures are proposed as a variety of algebra to underlie concrete models of concurrency and interaction. An action structure is equipped with composition and product of actions, together with two other ingredients: an indexed family of abstractors to allow parametrisation of actions, and a reaction relation to represent activity. The eight axioms of an action structure make it an enriched strict monoidal category; however, the work is presented algebraically rather than in category theory. The notion of action structure is developed mathematically, and examples are studied ranging from the evaluation of expressions to the statics and dynamics of Petri nets.
Modal logics for mobile processes by Robin Milner ( Book )
3 editions published in 1991 in English and held by 10 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."
Communicating and mobile systems : the π-calculus by R Milner ( Book )
2 editions published in 1999 in English and held by 9 libraries worldwide
Changes to the standard ML core language by R Milner ( Book )
2 editions published in 1987 in English and held by 8 libraries worldwide
A complete axiomatisation for observational congruence of finite-state behaviours by R Milner ( Book )
2 editions published in 1986 in English and held by 8 libraries worldwide
A type discipline for program modules by Robert Harper ( Book )
1 edition published in 1987 in English and held by 8 libraries worldwide
Abelian groups Algebra, Boolean Calculus Calculus--Computer programs Communication--Network analysis--Mathematical models Computable functions--Data processing Computer multitasking Computer networks--Mathematical models Computer programming Computers Computer science Computer science--Research Computer software Conference proceedings Digital communications--Mathematical models Edinburgh LCF (Computer system) Electronic data processing Electronic data processing--Distributed processing Electronic data processing--Mathematical models Embedded computer systems Formal languages Graph theory Information theory Lambda calculus Logic, Symbolic and mathematical Logic programming Machine theory Mathematical statistics Mathematics Milner, R.--1934-2010 ML (Computer program language) Mobile computing Modality (Logic) Modular programming Nets (Mathematics) Operating systems (Computers) Operations research Parallel processing (Electronic computers) Petri nets Pi-calculus Programming (Mathematics) Programming languages (Electronic computers) Programming languages (Electronic computers)--Semantics Proof theory Recursive functions Semantics Set theory System design Telecommunication systems Telecommunication systems--Mathematical models
Milner, Arthur J.
Milner, Arthur John Robin Gorell.
Milner, Arthur John Robin Gorell, 1934-
Milner, Arthur John Robin Gorell, 1934-2010
Milner, R. (Robin)
Milner, Robin, 1934-2010