Pages that link to "Item:Q673911"
From MaRDI portal
The following pages link to The weakest deadlock-preserving congruence (Q673911):
Displayed 5 items.
- Multi-parameterised compositional verification of safety properties (Q498394) (← links)
- Stepwise development of process-algebraic specifications in decorated trace semantics (Q816202) (← links)
- Compositional failure-based semantic models for basic LOTOS (Q1903079) (← links)
- On constructibility and unconstructibility of LTS operators from other LTS operators (Q2340256) (← links)
- Compositional State Space Reduction Using Untangled Actions (Q2866342) (← links)