Pages that link to "Item:Q2802477"
From MaRDI portal
The following pages link to Modular Termination Verification for Non-blocking Concurrency (Q2802477):
Displayed 6 items.
- Ghost signals: verifying termination of busy waiting (Q832247) (← links)
- A perspective on specifying and verifying concurrent modules (Q1648035) (← links)
- Modular Termination Verification for Non-blocking Concurrency (Q2802477) (← links)
- A Higher-Order Logic for Concurrent Termination-Preserving Refinement (Q2988673) (← links)
- Abstract Specifications for Concurrent Maps (Q2988678) (← links)
- Concise outlines for a complex logic: a proof outline checker for TaDA (Q6145023) (← links)