Bigraphical Categories

Authors:
Robin Milner
Affiliations:
The Computer Laboratory, University of Cambridge, Cambridge, UK CB3 0FD and Informatics Forum, University of Edinburgh, Edinburgh, UK EH8 9AB
Venue:
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Year:
2009

Citing 2
Cited 0

The Space and Motion of Communicating Agents

The Space and Motion of Communicating Agents
Sortings for reactive systems

CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

Bigraphs are a candidate model that aims to provide a theoretical platform for ubiquitous computing systems. This short paper summarises the categories, and the functors between them, that represent the structure of that theory.