Bigraphical Categories

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

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 

Preview

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