The following pages link to (Q4791836):
Displaying 11 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)
- Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness (Q3613069) (← links)
- (Q4037394) (← links)
- A Fast Verified Liveness Analysis in SSA Form (Q5049011) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395127) (← links)
