Pages that link to "Item:Q673911"
From MaRDI portal
The following pages link to The weakest deadlock-preserving congruence (Q673911):
Displayed 8 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)
- All congruences below stability-preserving fair testing or CFFD (Q2182664) (← links)
- On constructibility and unconstructibility of LTS operators from other LTS operators (Q2340256) (← links)
- Compositional State Space Reduction Using Untangled Actions (Q2866342) (← links)
- Of wlp and CSP (Q2994489) (← links)
- Compositionality in state space verification methods (Q4633153) (← links)