Pages that link to "Item:Q3507374"
From MaRDI portal
The following pages link to The Temporal Logic of Rewriting: A Gentle Introduction (Q3507374):
Displaying 13 items.
- Comparing three coordination models: Reo, ARC, and PBRD (Q608351) (← links)
- Algebraic simulations (Q844884) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Strategies, model checking and branching-time properties in Maude (Q2239275) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Egalitarian State-Transition Systems (Q2827838) (← links)
- Two Decades of Maude (Q2945709) (← links)
- TAGED Approximations for Temporal Properties Model-Checking (Q3637350) (← links)
- (Q4553288) (← links)
- Compositional Specification in Rewriting Logic (Q5108529) (← links)
- A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting (Q5166636) (← links)
- Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) (Q5403072) (← links)
- A Spatial Logic for Simplicial Models (Q6135777) (← links)
