The following pages link to Verification: Theory and Practice (Q5305647):
Displaying 6 items.
- Quantitatively fair scheduling (Q764298) (← links)
- Event fairness and non-interleaving concurrency (Q911318) (← links)
- Fairness and communication-based semantics for session-typed languages (Q2672270) (← links)
- Balanced Paths in Colored Graphs (Q3182921) (← links)
- (Q5005142) (← links)
- Refinement of Timing Constraints for Concurrent Tasks with Scheduling (Q5881451) (← links)