An Implementation of Bigraph Matching
- Arne John Glenstrup,
- Troels Christoffer Damgaard,
- Lars Birkedal,
- Espen Højsgaard
Research Output:
Working paper
Working paper
Open access
Publication Information
Output type
Research Output:
Working paper
Working paper
Original language
EnglishPublication milestones
- Published - 2010
Publication status
Published - 2010
Place of publication
CopenhagenEdition
TR 2010-135Publisher
IT-Universitetet i København, DenmarkBook series
- Book series name: IT University Technical Report Series
Series number: TR-2010-135
ISSN: 1600-6100
ISBN (Electronic)
978-87-7949-228-8Abstract
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.
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.
Access to documents
Submitted manuscript, 379.03 KB