Pages that link to "Item:Q2182664"
From MaRDI portal
The following pages link to All congruences below stability-preserving fair testing or CFFD (Q2182664):
Displaying 5 items.
- The weakest deadlock-preserving congruence (Q673911) (← links)
- Fair testing (Q865623) (← links)
- Testing congruence for mobile processes (Q1599646) (← links)
- On constructibility and unconstructibility of LTS operators from other LTS operators (Q2340256) (← links)
- All linear-time congruences for familiar operators (Q2865064) (← links)