A Bigraph Reactive Systems Realtion Model

TR-2010-126, Authors: Maxime Beauquier and Carsten Schürmann

A Bigraph Reactive Systems Realtion Model

Maxime Beauquier
Carsten Schürmann

June 2010

Abstract

In this paper, we present a model based on relations for bigraphical reactive systems. 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.

Technical report TR-2010-126  in IT University Technical Report Series, June 2010.

Available as PDF.