Pages that link to "Item:Q2828283"
From MaRDI portal
The following pages link to A program logic for concurrent objects under fair scheduling (Q2828283):
Displaying 9 items.
- Promptness and bounded fairness in concurrent and parameterized systems (Q784148) (← links)
- Ghost signals: verifying termination of busy waiting (Q832247) (← links)
- Actor-based model checking for software-defined networks (Q1996852) (← links)
- SDN-actors: modeling and verification of SDN programs (Q2024371) (← links)
- Towards a Thread-Local Proof Technique for Starvation Freedom (Q2814127) (← links)
- A Higher-Order Logic for Concurrent Termination-Preserving Refinement (Q2988673) (← links)
- Modular Schedulability Analysis of Concurrent Objects in Creol (Q3400922) (← links)
- (Q4995382) (← links)
- Specifying and reasoning about shared-variable concurrency (Q6535828) (← links)