A Bigraph Relational Model

Maxime Beauquier
(IT University of Copenhagen)
Carsten Schürmann
(IT University of Copenhagen)

In this paper, we present a model based on relations for bigraphical reactive systems [Milner09]. Its defining characteristics are that validity and reaction relations are captured as traces in a multi-set rewriting system. The relational model is derived from Milner's graphical definition and directly amenable to implementation.

In Herman Geuvers and Gopalan Nadathur: Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP 2011), Nijmegen, The Netherlands, August 26, 2011, Electronic Proceedings in Theoretical Computer Science 71, pp. 14–28.
Published: 31st October 2011.

ArXived at: https://dx.doi.org/10.4204/EPTCS.71.2 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org