CONCUR 2009 - Concurrency Theory

Volume 5710 of the series Lecture Notes in Computer Science pp 30-36

Bigraphical Categories

  • Robin MilnerAffiliated withThe Computer Laboratory, University of CambridgeInformatics Forum, University of Edinburgh

* Final gross prices may vary according to local VAT.

Get Access


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.


bigraph category process ubiquitous computing