Matching of Bigraphs

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

  • Lars Birkedal
  • Troels Christoffer Damgaard, IT University in Copenhagen, Unknown
  • Arne John Glenstrup, IT University in Copenhagen, Unknown
  • Robin Milner, University of Cambridge, Unknown
Original languageEnglish
JournalElectronic Notes in Theoretical Computer Science
Volume175
Issue4 SPEC. ISS.
Pages (from-to)3-19
Number of pages17
ISSN1571-0661
DOIs
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