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

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › 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.

Originalsprog	Engelsk
Tidsskrift	Electronic Proceedings in Theoretical Computer Science
Vol/bind	71
Sider (fra-til)	14
Antal sider	28
ISSN	2075-2180
DOI	https://doi.org/10.4204/EPTCS.71.2
Status	Udgivet - 2011

Adgang til dokumentet

10.4204/EPTCS.71.2

Citationsformater

@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 -