Aarhus University Seal / Aarhus Universitets segl

An Implementation of Bigraph Matching

Research output: Working paper/Preprint Working paper

Standard

An Implementation of Bigraph Matching. / Glenstrup, Arne John; Damgaard, Troels Christoffer; Birkedal, Lars; Højsgaard, Espen.

TR 2010-135. ed. Copenhagen : IT-Universitetet i København, 2010.

Research output: Working paper/Preprint Working paper

Harvard

Glenstrup, AJ, Damgaard, TC, Birkedal, L & Højsgaard, E 2010 'An Implementation of Bigraph Matching' TR 2010-135 edn, IT-Universitetet i København, Copenhagen.

APA

Glenstrup, A. J., Damgaard, T. C., Birkedal, L., & Højsgaard, E. (2010). An Implementation of Bigraph Matching. (TR 2010-135 ed.) IT-Universitetet i København.

CBE

Glenstrup AJ, Damgaard TC, Birkedal L, Højsgaard E. 2010. An Implementation of Bigraph Matching. TR 2010-135 ed. Copenhagen: IT-Universitetet i København.

MLA

Glenstrup, Arne John et al. An Implementation of Bigraph Matching. TR 2010-135 udg. Copenhagen: IT-Universitetet i København. 2010., 30 p.

Vancouver

Glenstrup AJ, Damgaard TC, Birkedal L, Højsgaard E. An Implementation of Bigraph Matching. TR 2010-135 ed. Copenhagen: IT-Universitetet i København. 2010.

Author

Glenstrup, Arne John ; Damgaard, Troels Christoffer ; Birkedal, Lars ; Højsgaard, Espen. / An Implementation of Bigraph Matching. TR 2010-135. ed. Copenhagen : IT-Universitetet i København, 2010.

Bibtex

@techreport{a2c9564236c74036ad42be2ecb912100,
title = "An Implementation of Bigraph Matching",
abstract = "We describe a provably sound and complete matching algorithm for bigraphical reactive systems. The algorithm has been implemented in our BPL Tool, a first implementation of bigraphical reactive systems. We describe the tool and present a concrete example of how it can be used to simulate a model of a mobile phone system in a bigraphical representation of the polyadic π calculus.",
author = "Glenstrup, {Arne John} and Damgaard, {Troels Christoffer} and Lars Birkedal and Espen H{\o}jsgaard",
year = "2010",
language = "English",
publisher = "IT-Universitetet i K{\o}benhavn",
edition = "TR 2010-135",
type = "WorkingPaper",
institution = "IT-Universitetet i K{\o}benhavn",

}

RIS

TY - UNPB

T1 - An Implementation of Bigraph Matching

AU - Glenstrup, Arne John

AU - Damgaard, Troels Christoffer

AU - Birkedal, Lars

AU - Højsgaard, Espen

PY - 2010

Y1 - 2010

N2 - We describe a provably sound and complete matching algorithm for bigraphical reactive systems. The algorithm has been implemented in our BPL Tool, a first implementation of bigraphical reactive systems. We describe the tool and present a concrete example of how it can be used to simulate a model of a mobile phone system in a bigraphical representation of the polyadic π calculus.

AB - We describe a provably sound and complete matching algorithm for bigraphical reactive systems. The algorithm has been implemented in our BPL Tool, a first implementation of bigraphical reactive systems. We describe the tool and present a concrete example of how it can be used to simulate a model of a mobile phone system in a bigraphical representation of the polyadic π calculus.

M3 - Working paper

BT - An Implementation of Bigraph Matching

PB - IT-Universitetet i København

CY - Copenhagen

ER -