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.
Place of Publication | Copenhagen |
---|
Publisher | IT-Universitetet i København |
---|
Edition | TR 2010-126 |
---|
Number of pages | 20 |
---|
ISBN (Electronic) | 9788779492158 |
---|
Publication status | Published - 2010 |
---|
Series | IT University Technical Report Series |
---|
Number | TR 2010-126 |
---|
ISSN | 1600-6100 |
---|