Pages that link to "Item:Q1323314"
From MaRDI portal
The following pages link to Program refinement in fair transition systems (Q1323314):
Displaying 9 items.
- Stabilization-preserving atomicity refinement (Q701138) (← links)
- The existence of refinement mappings (Q805251) (← links)
- Transformations for communication fairness in CSP (Q1089786) (← links)
- Adequacy-preserving transformations of COSY path programs (Q1185020) (← links)
- Automatic discovery of fair paths in infinite-state transition systems (Q2147176) (← links)
- (Q3696524) (← links)
- Progress measures and stack assertions for fair termination (Q5348854) (← links)
- An Algebraic Approach to Refinement with Fair Choice (Q5403463) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705922) (← links)