A Bigraph Relational Model

Maxime Beauquier; Carsten Schürmann

doi:10.4204/EPTCS.71.2

A Bigraph Relational Model

Maxime Beauquier, Carsten Schürmann

Computer Science

Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

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.

Original language	English
Journal	Electronic Proceedings in Theoretical Computer Science
Volume	71
Pages (from-to)	14
Number of pages	28
ISSN	2075-2180
DOIs	https://doi.org/10.4204/EPTCS.71.2
Publication status	Published - 2011

Access to Document

10.4204/EPTCS.71.2

Cite this

@inproceedings{93d149098ac14e9e91d1fefe80f9a0d8,

title = "A Bigraph Relational Model",

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.",

author = "Maxime Beauquier and Carsten Sch{\"u}rmann",

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

year = "2011",

doi = "10.4204/EPTCS.71.2",

language = "English",

volume = "71",

pages = "14",

journal = "Electronic Proceedings in Theoretical Computer Science",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - GEN

T1 - A Bigraph Relational Model

AU - Beauquier, Maxime

AU - Schürmann, Carsten

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

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

U2 - 10.4204/EPTCS.71.2

DO - 10.4204/EPTCS.71.2

M3 - Conference article

SN - 2075-2180

VL - 71

SP - 14

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

ER -