Looking for an examination copy?
If you are interested in the title for your course we can consider offering an examination copy. To register your interest please contact firstname.lastname@example.org providing details of the course you are teaching.
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.Read more
- New and significant work from Turing Award winner Robin Milner
- Presumes no prior knowledge of the mathematical structures employed
- Contains exercises and their solutions, worked examples and a glossary of terms
Not yet reviewed
Be the first to review
Review was not posted due to profanity×
- Date Published: April 2009
- format: Paperback
- isbn: 9780521738330
- length: 214 pages
- dimensions: 228 x 152 x 12 mm
- weight: 0.29kg
- contains: 50 exercises
- availability: In stock
Table of Contents
Part I. Space:
1. The idea of bigraphs
2. Defining bigraphs
3. Algebra for bigraphs
4. Relative and minimal bounds
5. Bigraphical structure
Part II. Motion:
7. Reactions and transitions
8. Bigraphical reactive systems
9. Behaviour in link graphs
10. Behavioural theory for CCS
Part III. Development:
11. Further topics
12. Background, development and related work
Appendices: Appendix 1. Technical detail
Appendix 2. Solutions to exercises
Glossary of terms and symbols.
Find resources associated with this titleYour search for '' returned .
Type Name Unlocked * Format Size
This title is supported by one or more locked resources. Access to locked resources is granted exclusively by Cambridge University Press to instructors whose faculty status has been verified. To gain access to locked resources, instructors should sign in to or register for a Cambridge user account.
Please use locked resources responsibly and exercise your professional discretion when choosing how you share these materials with your students. Other instructors may wish to use locked resources for assessment purposes and their usefulness is undermined when the source files (for example, solution manuals or test banks) are shared online or via social networks.
Supplementary resources are subject to copyright. Instructors are permitted to view, print or download these resources for use in their teaching, but may not change them or use them for commercial gain.
If you are having problems accessing these resources please contact email@example.com.
Sorry, this resource is locked
Please register or sign in to request access. If you are having problems accessing these resources please email firstname.lastname@example.orgRegister Sign in
You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner www.ebooks.com. Please see the permission section of the www.ebooks.com catalogue page for details of the print & copy limits on our eBooks.Continue ×