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.
Originalsprog | Engelsk |
---|---|
Tidsskrift | Electronic Proceedings in Theoretical Computer Science |
Vol/bind | 71 |
Sider (fra-til) | 14 |
Antal sider | 28 |
ISSN | 2075-2180 |
DOI | |
Status | Udgivet - 2011 |
Emneord
- Bigraphical Reactive Systems
- Multi-set Rewriting
- Graphical Definition
- Relational Model
- Trace-based Validity