@book{2a4fdd097bdd42c39a3a94caaddc02dc,
title = "A Bigraph Reactive Systems Realtion Model",
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.",
keywords = "Bigraphical reactive systems, Multiset rewriting, Trace semantics, Relational modeling, Milner's graphical definition",
author = "Maxime Beauquier and Carsten Sch{\"u}rmann",
year = "2010",
language = "English",
series = "IT University Technical Report Series",
number = "TR 2010-126",
publisher = "IT-Universitetet i K{\o}benhavn",
address = "Denmark",
edition = "TR 2010-126",
}