Pages that link to "Item:Q1090102"
From MaRDI portal
The following pages link to Algebraic specification and proof of a distributed recovery algorithm (Q1090102):
Displaying 8 items.
- Second-level algorithms, superrecursivity, and recovery problem in distributed systems (Q692890) (← links)
- Design and verification of fault tolerant systems with CSP (Q1176076) (← links)
- Transformation of programs for fault-tolerance (Q1201297) (← links)
- A compositional framework for fault tolerance by specification transformation (Q1330423) (← links)
- A trace-based compositional proof theory for fault tolerant distributed systems (Q1330425) (← links)
- Modular specification of process algebras (Q1802074) (← links)
- Lax naturality through enrichment (Q1923539) (← links)
- A computer checked algebraic verification of a distributed summation algorithm (Q2576570) (← links)