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.
- 2.Milner, R.: http://www.cl.cam.ac.uk/~rm135