Pages that link to "Item:Q879600"
From MaRDI portal
The following pages link to Unfolding semantics of graph transformation (Q879600):
Displaying 17 items.
- Verification of graph grammars using a logical approach (Q436370) (← links)
- A framework for the verification of infinite-state graph transformation systems (Q937301) (← links)
- Unfolding-based diagnosis of systems with an evolving topology (Q1959480) (← links)
- Unfolding Grammars in Adhesive Categories (Q2888498) (← links)
- An Institution for Graph Transformation (Q2890329) (← links)
- Ugo Montanari and Graph Transformation (Q3507353) (← links)
- Unfolding Graph Transformation Systems: Theory and Applications to Verification (Q3507354) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- Unfolding-Based Diagnosis of Systems with an Evolving Topology (Q3541019) (← links)
- A Heterogeneous Pushout Approach to Term-Graph Transformation (Q3636827) (← links)
- The true concurrency of differential interaction nets (Q4577982) (← links)
- (Q5020951) (← links)
- (Q5021222) (← links)
- Unfolding Symbolic Attributed Graph Grammars (Q5100727) (← links)
- Formal Verification of Graph Grammars using Mathematical Induction (Q5179351) (← links)
- Processes and unfoldings: concurrent computations in adhesive categories (Q5740371) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900821) (← links)