Department of Computer Science and Technology

Technical reports

Bigraphs whose names have multiple locality

Robin Milner

September 2004, 15 pages


The previous definition of binding bigraphs is generalised so that local names may be located in more than one region, allowing more succinct and flexible presentation of bigraphical reactive systems. This report defines the generalisation, verifies that it retains relative pushouts, and introduces a new notion of bigraph extension; this admits a wider class of parametric reaction rules. Extension is shown to be well-behaved algebraically; one consequence is that, as in the original definition of bigraphs, discrete parameters are sufficient to generate all reactions.

Full text

PDF (0.2 MB)

BibTeX record

  author =	 {Milner, Robin},
  title = 	 {{Bigraphs whose names have multiple locality}},
  year = 	 2004,
  month = 	 sep,
  url = 	 {},
  institution =  {University of Cambridge, Computer Laboratory},
  number = 	 {UCAM-CL-TR-603}