A Bigraph Relational Model

Maxime Beauquier; Carsten Schürmann

doi:10.4204/EPTCS.71.2

A Bigraph Relational Model

Maxime Beauquier
, Carsten Schürmann

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
Conference proceedings	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

Keywords

Bigraphical Reactive Systems
Multi-set Rewriting
Graphical Definition
Relational Model
Trace-based Validity

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

keywords = "Bigraphical Reactive Systems, Multi-set Rewriting, Graphical Definition, Relational Model, Trace-based Validity, Bigraphical Reactive Systems, Multi-set Rewriting, Graphical Definition, Relational Model, Trace-based Validity",

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.

KW - Bigraphical Reactive Systems

KW - Multi-set Rewriting

KW - Graphical Definition

KW - Relational Model

KW - Trace-based Validity

KW - Bigraphical Reactive Systems

KW - Multi-set Rewriting

KW - Graphical Definition

KW - Relational Model

KW - Trace-based Validity

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 -

A Bigraph Relational Model

Abstract

Keywords

Access to Document

Fingerprint

Cite this