Chapter

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

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.

Keywords

bigraph category process ubiquitous computing