Graph Algebras for Bigraphs

Authors

  • Davide Grohmann
  • Marino Miculan

DOI:

https://doi.org/10.14279/tuj.eceasst.29.414

Abstract

Binding bigraphs are a graphical formalism intended to be a meta-model for mobile, concurrent and communicating systems. In this paper we present an algebra of typed graph terms which correspond precisely to binding bigraphs over a given signature. As particular cases, pure bigraphs and local bigraphs are described by two sublanguages which can be given a simple syntactic characterization. Moreover, we give a formal connection between these languages and Synchronized Hyperedge Replacement algebras and the hierarchical graphs used in Architectural Design Rewriting. This allows to transfer results and constructions among formalisms which have been developed independently, e.g., the systematic definition of congruent bisimulations for SHR graphs via the IPO construction.

Downloads

Published

2010-07-22

How to Cite

[1]
D. Grohmann and M. Miculan, “Graph Algebras for Bigraphs”, eceasst, vol. 29, Jul. 2010.