This collection of essays reflects the breadth of research in computer science. Following a biography of Robin Milner it contains sections on semantic foundations; programming logic; programming languages; concurrency; and mobility.
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.
This book provides a remarkable overview of significant themes in Russian history and culture, in each case starting well before the eighteenth century, while frequently following them up into the nineteenth and twentieth centuries. Robin Milner-Gulland shows how the public face of Russia developed and evolved through its distinct architecture, astonishing art, and its varied public spaces. What emerges is a clear picture of how Russians fashioned their identity, and the national monuments associated with it, in their setting: the Russian natural landscape as well as distinctive elements of traditional material culture. Tellingly illustrated, concise and free of jargon, Patterns of Russia will appeal to all those with an interest in the history and culture of this complex—and much discussed—country.
A critical biography of the most celebrated religious icon painter in medieval Russia. A monk from Moscow, Andrey Rublev (c.1360–c.1430) is heralded as the greatest painter of religious icons and frescos in medieval Russia. Nevertheless, his life remains largely mysterious to historians and devotees alike. In this book, Robin Milner-Gulland provides the first English-language account of the artist’s life as a window into the world of medieval Moscow. Beautifully illustrated with previously unpublished images, Andrey Rublev offers an accessible introduction to the artist’s medieval world and his continuing significance today.
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."--BOOK JACKET. "This book is the first text book on the subject; it has been long-awaited by professionals and will be welcomed by them, and their students."--BOOK JACKET.
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.