A Bigraph Reactive Systems Realtion Model

Maxime Beauquier; Carsten Schürmann

A Bigraph Reactive Systems Realtion Model

Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning

Abstract

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.

Originalsprog	Engelsk

Udgivelsessted	Copenhagen
Forlag	IT-Universitetet i København
Udgave	TR 2010-126
Antal sider	20
ISBN (Elektronisk)	9788779492158
Status	Udgivet - 2010

Navn	IT University Technical Report Series
Nummer	TR 2010-126
ISSN	1600-6100

Adgang til dokumentet

ITUTR2010126pdfForlagets udgivne version, 531 KB

Citationsformater

@book{2a4fdd097bdd42c39a3a94caaddc02dc,

title = "A Bigraph Reactive Systems Realtion Model",

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

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

year = "2010",

language = "English",

series = "IT University Technical Report Series",

number = "TR 2010-126",

publisher = "IT-Universitetet i K{\o}benhavn",

address = "Denmark",

edition = "TR 2010-126",

}

TY - RPRT

T1 - A Bigraph Reactive Systems Realtion Model

AU - Beauquier, Maxime

AU - Schürmann, Carsten

PY - 2010

Y1 - 2010

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

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

M3 - Report

T3 - IT University Technical Report Series

BT - A Bigraph Reactive Systems Realtion Model

PB - IT-Universitetet i København

CY - Copenhagen

ER -

A Bigraph Reactive Systems Realtion Model

Abstract

Adgang til dokumentet

Fingeraftryk

Citationsformater