2011/11/01 by Maxime Beauquier, Carsten Schürmann
Computer Science · #cs.LO
paper · pdf · doi:10.4204/eptcs.71.2
published as EPTCS 71, 2011, pp. 14-28 · In Proceedings LFMTP 2011, arXiv:1110.6685
arxiv created 2011/11/01 · arxiv updated 2011/11/02
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.