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

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