An Inductive Characterization of Matching in Binding Bigraphs

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

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Abstrakt

    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.
    OriginalsprogEngelsk
    TidsskriftFormal Aspects of Computing
    Antal sider32
    ISSN0934-5043
    StatusUdgivet - 2010

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'An Inductive Characterization of Matching in Binding Bigraphs'. Sammen danner de et unikt fingeraftryk.

    Citationsformater