A Bigraph Relational Model

Maxime Beauquier, Carsten Schürmann

Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

Abstract

In this paper, we present a model based on relations for bigraphical reactive system [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.
Original languageEnglish
JournalElectronic Proceedings in Theoretical Computer Science
Volume71
Pages (from-to)14
Number of pages28
ISSN2075-2180
DOIs
Publication statusPublished - 2011

Cite this