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 6 items.
- 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)
- Specifying and reasoning about shared-variable concurrency (Q6535828) (← links)
