A Bigraph Reactive Systems Realtion Model
- Maxime Beauquier,
Research Output:
Book / Anthology / Report
Report
Open access
Publication Information
Output type
Research Output:
Book / Anthology / Report
Report
Original language
EnglishPublication milestones
- Published - 2010
Publication status
Published - 2010
Place of publication
CopenhagenEdition
TR 2010-126Publisher
IT-Universitetet i København, DenmarkBook series
- Book series name: IT University Technical Report Series
Series number: TR 2010-126
ISSN: 1600-6100
ISBN (Electronic)
9788779492158Abstract
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.
The relational model is derived from Milner's graphical definition and directly amenable to implementation.
Access to documents
Final published version, 531.21 KB