Similar Items: A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems
- Collaboration vs. choreography conformance in BPMN
- Formalising the Double-Pushout Approach to Graph Transformation
- Termination of Graph Transformation Systems Using Weighted Subgraph Counting
- Termination of Graph Transformation Systems via Generalized Weighted Type Graphs
- Using weakest application conditions to rank graph transformations for graph repair
- Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems