An Implementation of Bigraph Matching

Arne John Glenstrup, Troels Christoffer Damgaard, Lars Birkedal, Espen Højsgaard

    Research output: Working paperResearch

    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.
    Original languageEnglish
    Place of PublicationCopenhagen
    PublisherIT-Universitetet i København
    EditionTR 2010-135
    Number of pages30
    ISBN (Electronic)978-87-7949-228-8
    Publication statusPublished - 2010
    SeriesIT University Technical Report Series
    NumberTR-2010-135
    ISSN1600-6100

    Keywords

    • Bigraphical Reactive Systems
    • Matching Algorithm
    • BPL Tool
    • Polyadic π Calculus
    • Mobile Phone System Simulation

    Cite this