CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
A standard-driven implementaion of WS-BPEL 2.0
Proceedings of the 2010 ACM Symposium on Applied Computing
An algebraic approach to image schemas for geographic space
COSIT'09 Proceedings of the 9th international conference on Spatial information theory
Semantics for structured systems modelling and simulation
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Robin Milner's Work on Concurrency
Electronic Notes in Theoretical Computer Science (ENTCS)
The informatics of indoor and outdoor space: a research agenda
Proceedings of the 2nd ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness
Coloured stochastic multilevel multiset rewriting
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
Spatio-temporal evolution as bigraph dynamics
COSIT'11 Proceedings of the 10th international conference on Spatial information theory
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Events, neural systems and time series
ServiceWave'10 Proceedings of the 2010 international conference on Towards a service-based internet
Formally modeling the electricity grid with bigraphs
Proceedings of the Seventh Annual Workshop on Cyber Security and Information Intelligence Research
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Containment in Rule-Based Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Coordinating parallel mobile ambients to solve SAT problem in polynomial number of steps
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Process algebra for event-driven runtime verification: a case study of wireless network management
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Ribbon proofs for separation logic
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
BigActors: a model for structure-aware computation
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
A verification environment for bigraphs
Innovations in Systems and Software Engineering
Towards a bigraph-based model for context-aware adaptive systems
ECSA'13 Proceedings of the 7th European conference on Software Architecture
Real-time verification of wireless home networks using bigraphs with sharing
Science of Computer Programming
A category theory approach to HCI
BCS-HCI '13 Proceedings of the 27th International BCS Human Computer Interaction Conference
| Hi-index | 0.00 |
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.