Directed Bigraphs
Authors:
Open Access
- 1 April 2007
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 173, 121-137
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Directed BigraphsElectronic Notes in Theoretical Computer Science, 2007
- Transition systems, link graphs and Petri netsMathematical Structures in Computer Science, 2006
- Reactive Systems over Cospans2006
- Pure bigraphs: Structure and dynamicsInformation and Computation, 2006
- Bigraphs and transitions2003
- Deriving Bisimulation Congruences: A 2-categorical ApproachElectronic Notes in Theoretical Computer Science, 2002
- From rewrite rules to bisimulation congruencesTheoretical Computer Science, 2002