A Bigraph Relational Model

Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

View graph of relations

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.
Original languageEnglish
JournalElectronic Proceedings in Theoretical Computer Science
Pages (from-to)14
Number of pages28
Publication statusPublished - 2011

Bibliographical note

Herman Geuvers, Gopalan Nadathur (Eds.): Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice.

ID: 32757089