Pages that link to "Item:Q1190488"
From MaRDI portal
The following pages link to Conditional rewriting logic as a unified model of concurrency (Q1190488):
Displaying 6 items.
- Formal methods for web security (Q511944) (← links)
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- Bigraphs and Their Algebra (Q2870188) (← links)
- ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (Q2938523) (← links)
- A White Box Perspective on Behavioural Adaptation (Q5256369) (← links)
- Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) (Q5403072) (← links)
