Pages that link to "Item:Q913499"
From MaRDI portal
The following pages link to A theorem on atomicity in distributed algorithms (Q913499):
Displayed 6 items.
- Transformation of programs for fault-tolerance (Q1201297) (← links)
- Global serializability of concurrent programs (Q1318722) (← links)
- Verification of schedulability for real-time programs (Q1904642) (← links)
- A formal language for cryptographic protocol requirements (Q1910421) (← links)
- Using refinement calculus techniques to prove linearizability (Q1941870) (← links)
- Temporal predicate transition nets—a new formalism for specifying and verifying concurrent systems (Q4032915) (← links)