Pages that link to "Item:Q2802462"
From MaRDI portal
The following pages link to CoLoSL: Concurrent Local Subjective Logic (Q2802462):
Displayed 5 items.
- A perspective on specifying and verifying concurrent modules (Q1648035) (← links)
- Caper (Q2988651) (← links)
- Verifying Concurrent Graph Algorithms (Q3179300) (← links)
- Local Reasoning for Global Graph Properties (Q5041096) (← links)
- Concise outlines for a complex logic: a proof outline checker for TaDA (Q6145023) (← links)