Bigraphical Categories

  • Robin Milner
Conference paper

DOI: 10.1007/978-3-642-04081-8_3

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5710)
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.


bigraph category process ubiquitous computing 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Robin Milner
    • 1
    • 2
  1. 1.The Computer LaboratoryUniversity of CambridgeCambridgeUK
  2. 2.Informatics ForumUniversity of EdinburghEdinburghUK

Personalised recommendations