The following pages link to (Q4270078):
Displaying 6 items.
- Revivals, stuckness and the hierarchy of CSP models (Q1007236) (← links)
- All congruences below stability-preserving fair testing or CFFD (Q2182664) (← links)
- A logical process calculus (Q2842601) (← links)
- Compositional state space reduction using untangled actions (Q2866342) (← links)
- MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs (Q3510873) (← links)
- Modelling Divergence in Relational Concurrent Refinement (Q3605466) (← links)