Robin Milner

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 describes in this book just such a model, 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. Like Milner's other work, this is destined to have far-reaching and profound significance.

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 describes in this book just such a model, 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. Like Milner's other work, this is destined to have far-reaching and profound significance.

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. The calculus is very simple but powerful; its most prominent ingredient is the notion of a name. Its theory 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 textbook on the subject; it has been long-awaited by professionals and will be welcomed by them, and their students.

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. The calculus is very simple but powerful; its most prominent ingredient is the notion of a name. Its theory 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 textbook on the subject; it has been long-awaited by professionals and will be welcomed by them, and their students.

The full mathematical description of the functional programming language ML was given in Milner, Tofte, and Harper's "Definition of Standard ML. "This companion volume explains in depth the meaning, o

Standard ML is a general-purpose programming language designed for large projects.This book provides a formal definition of Standard ML for the benefit of all concerned with thelanguage, including use

This is a practical, research based guide to rethinking classroom management that effectively serves the needs of diverse learners including children of color, English learners, and children from low-

In this portrait of the flamboyant Milanese courtier Francesco Filelfo (1398-1481), Diana Robin reveals a fifteenth-century humanism different from the cool, elegant classicism of Medicean Florence an

Whether determining the style of its embassies or the design of overseas cemeteries for Americans killed in battle, the U.S. government in its rise to global leadership greatly valued architectural sy

At a time when social influence, economic resources, and political opportunities seem to become ever more concentrated among ever fewer individuals, this book represents the first systematic effort in

At a time when social influence, economic resources, and political opportunities seem to become ever more concentrated among ever fewer individuals, this book represents the first systematic effort in

In this portrait of the flamboyant Milanese courtier Francesco Filelfo (1398-1481), Diana Robin reveals a fifteenth-century humanism different from the cool, elegant classicism of Medicean Florence an

Whether determining the style of its embassies or the design of overseas cemeteries for Americans killed in battle, the U.S. government in its rise to global leadership greatly valued architectural sy

"The business leader's guide to creating a great workplace from the Great Place to Work(r) Institute. In this follow-up guide to The Great Workplace, experts from Great Place to Work(r) Institute, Inc

Just who are ‘the Malays’? This provocative study poses the question and considers how and why the answers have changed over time, and from one region to another. Anthony Milner develops a

At once autobiographical and psychoanalytic, The Hands of the Living God, first published in 1969, provides a detailed case study of Susan who, during a 20-year long treatment, spontaneously discovers

This volume demonstrates how archaeological data viewed through the lens of gender studies can lead researchers to question and reformulate current models of household organization, subsistence and cr

Just who are 'the Malays'? This provocative study poses the question and considers how and why the answers have changed over time, and from one region to another. Anthony Milner develops a sustained a

As the development debate rages on, it has been the better-organized, better-financed developer who has been winning out over neighborhood homeowners. Written by a streetwise, battle-hardened expert w