- We will send in 10–14 business days.
/images/books/3639812/9780521490306.jpg)
- Author: Robin Milner
- Publisher: Cambridge University Press
- ISBN-10: 0521490308
- ISBN-13: 9780521490306
- Format: 15 x 22.9 x 1.5 cm, hardcover
- Language: English
- SAVE -10% with code: EXTRA
Reviews
Description
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 optimize their behavior. 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 self-contained mathematically and is designed to be learned from: examples and exercises abound, solutions for the latter are provided.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 16d.20:04:05
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Author: Robin Milner
- Publisher: Cambridge University Press
- ISBN-10: 0521490308
- ISBN-13: 9780521490306
- Format: 15 x 22.9 x 1.5 cm, hardcover
- Language: English English
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 optimize their behavior. 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 self-contained mathematically and is designed to be learned from: examples and exercises abound, solutions for the latter are provided.
Reviews