An Inductive Characterization of Matching in Binding Bigraphs

Troels Christoffer Damgaard, Arne John Glenstrup, Lars Birkedal, Robin Milner

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review


    We analyze the matching problem for bigraphs. In
    particular, we present a sound and complete inductive characterization
    of matching in bigraphs with binding. Our results yield a
    specification for a provably correct matching algorithm, as needed by
    our prototype tool implementing bigraphical reactive systems.
    Original languageEnglish
    JournalFormal Aspects of Computing
    Number of pages32
    Publication statusPublished - 2010


    Dive into the research topics of 'An Inductive Characterization of Matching in Binding Bigraphs'. Together they form a unique fingerprint.

    Cite this