The following pages link to (Q4791836):
Displayed 7 items.
- Foundations for using linear temporal logic in Event-B refinement (Q333316) (← links)
- Safe reasoning with logic LTS (Q549200) (← links)
- On the limits of refinement-testing for model-checking CSP (Q1941896) (← links)
- CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions (Q2340255) (← links)
- Keep it fair: equivalence and composition (Q2423741) (← links)
- A Logical Process Calculus (Q2842601) (← links)
- Safe Reasoning with Logic LTS (Q3599086) (← links)