Aarhus University Seal / Aarhus Universitets segl

Matching of Bigraphs

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  • Lars Birkedal
  • Troels Christoffer Damgaard, IT University of Copenhagen, Unknown
  • Arne John Glenstrup, IT University of Copenhagen, Unknown
  • Robin Milner, University of Cambridge, Unknown
Original languageEnglish
JournalElectronic Notes in Theoretical Computer Science
Issue4 SPEC. ISS.
Pages (from-to)3-19
Number of pages17
Publication statusPublished - 9 Jul 2007
Externally publishedYes

    Research areas

  • bigraphical reactive systems, Bigraphs, complete inductive characterization, matching

See relations at Aarhus University Citationformats

ID: 81614132