A Bigraph Relational Model
- Maxime Beauquier,
Research Output:
Journal Article or Conference Article in Journal
Conference article
Peer-review
Open access
Publication Information
Output type
Research Output:
Journal Article or Conference Article in Journal
Conference article
Peer-reviewOriginal language
EnglishPages from-to (Number of pages)
Pages 14 (28 pages)Journal (Volume, Issue Number)
Electronic Proceedings in Theoretical Computer Science (Volume 71)Publication milestones
- Published - 2011
Publication status
Published - 2011
ISSN
2075-2180Publication IDs
- Scopus: 84952670091
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.
Publication metrics
PlumX, opens in new tab
Captures
5
Citations
1