Bigraphical Categories

  • Robin Milner
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5710)


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.


  1. 1.
    Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press, Cambridge (2009)CrossRefMATHGoogle Scholar
  2. 2.
  3. 3.
    Birkedal, L., Debois, S., Hildebrandt, T.: Sortings for reactive systems. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 248–262. Springer, Heidelberg (2006)CrossRefGoogle Scholar

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