A Bigraph Relational Model
Maxime Beauquier (IT University of Copenhagen), Carsten Sch\"urmann, (IT University of Copenhagen)
TL;DR
This paper introduces a relational model for bigraphical reactive systems that captures validity and reactions as traces in a multi-set rewriting system, facilitating implementation.
Contribution
It presents a novel relational model derived from Milner's graphical definition, enabling direct implementation of bigraphical reactive systems.
Findings
Model captures validity and reactions as traces
Derived from Milner's graphical definition
Facilitates implementation of bigraphical systems
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.