Pages that link to "Item:Q3657424"
From MaRDI portal
The following pages link to Guardians and Actions: Linguistic Support for Robust, Distributed Programs (Q3657424):
Displaying 9 items.
- The impact of recovery on concurrency control (Q686645) (← links)
- Dynamic state restoration using versioning exceptions (Q853735) (← links)
- Verifying atomic data types (Q914403) (← links)
- Algebraic specification of concurrent systems (Q914405) (← links)
- A recovery technique for distributed communicating process systems (Q1079362) (← links)
- A technique for constructing highly available services (Q1109559) (← links)
- Introduction to the theory of nested transactions (Q1119399) (← links)
- Concurrency and atomicity (Q1124366) (← links)
- Transaction synchronisation in object bases (Q1176282) (← links)