Pages that link to "Item:Q2871836"
From MaRDI portal
The following pages link to A Coq Library for Verification of Concurrent Programs (Q2871836):
Displaying 5 items.
- \( \pi\) with leftovers: a mechanisation in Agda (Q2117018) (← links)
- The GDML and EuKIM Projects: Short Report on the Initiative (Q2819256) (← links)
- A Coq Library for Verification of Concurrent Programs (Q2871836) (← links)
- Proof-relevant π-calculus: a constructive account of concurrency and causality (Q4691184) (← links)
- An extensible approach to session polymorphism (Q5741569) (← links)
