The following pages link to CONCUR 2004 - Concurrency Theory (Q5311499):
Displayed 10 items.
- Unfolding semantics of graph transformation (Q879600) (← links)
- A framework for the verification of infinite-state graph transformation systems (Q937301) (← links)
- Towards automated software model checking using graph transformation systems and bogor (Q1049792) (← links)
- Formal Verification of Object-Oriented Graph Grammars Specifications (Q2867893) (← links)
- Unfolding Graph Transformation Systems: Theory and Applications to Verification (Q3507354) (← links)
- Explicit State Model Checking for Graph Grammars (Q3507360) (← links)
- Mind the Shapes: Abstraction Refinement Via Topology Invariants (Q3510783) (← links)
- Abstracting Complex Data Structures by Hyperedge Replacement (Q3540389) (← links)
- McMillan’s Complete Prefix for Contextual Nets (Q3599219) (← links)
- Application of Graph Transformation in Verification of Dynamic Systems (Q3605472) (← links)