Pages that link to "Item:Q5410477"
From MaRDI portal
The following pages link to Algebras for Program Correctness in Isabelle/HOL (Q5410477):
Displaying 4 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Building program construction and verification tools from algebraic principles (Q736461) (← links)
- A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency (Q2414249) (← links)
- Specifying and reasoning about shared-variable concurrency (Q6535828) (← links)