- Cite this paper as:
- Milner R. (2009) Bigraphical Categories. In: Bravetti M., Zavattaro G. (eds) CONCUR 2009 - Concurrency Theory. CONCUR 2009. Lecture Notes in Computer Science, vol 5710. Springer, Berlin, Heidelberg
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.
Keywordsbigraph category process ubiquitous computing
Unable to display preview. Download preview PDF.