Pages that link to "Item:Q1119399"
From MaRDI portal
The following pages link to Introduction to the theory of nested transactions (Q1119399):
Displaying 9 items.
- Hybrid atomicity for nested transactions (Q672342) (← links)
- Commutativity-based locking for nested transactions (Q753480) (← links)
- Hierarchical deadlock detection for nested transactions (Q757036) (← links)
- Verifying atomic data types (Q914403) (← links)
- Modularity for teams of I/O automata (Q1041819) (← links)
- Virtual partition algorithm in a nested transaction environment and its correctness (Q1602517) (← links)
- Multi-granularity locking for nested transactions: A proof using a possibilities mapping (Q1901697) (← links)
- A rule based knowledge transaction model for mobile environments (Q2509213) (← links)
- Compact and localized distributed data structures (Q5138487) (← links)