Skip to search box Skip to navigation Skip to main content

An Inductive Characterization of Matching in Binding Bigraphs

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

University of Cambridge

Research Output:

Journal Article or Conference Article in Journal

Journal article

Peer-review

Publication Information

Output type

Research Output:

Journal Article or Conference Article in Journal

Journal article

Peer-review

Original language

English

Journal (Volume, Issue Number)

Formal Aspects of Computing

Publication milestones

Published - 2010

Publication status

Published - 2010

ISSN

0934-5043

Abstract

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.