Pages that link to "Item:Q5357694"
From MaRDI portal
The following pages link to A Framework for Transactional Consistency Models with Atomic Visibility (Q5357694):
Displaying 8 items.
- Categorical specification and implementation of replicated data types (Q2072069) (← links)
- Checking robustness between weak transactional consistency models (Q2233450) (← links)
- Read atomic transactions with prevention of lost updates: ROLA and its formal analysis (Q2335948) (← links)
- (Q4530191) (← links)
- (Q5009459) (← links)
- (Q5111640) (← links)
- Reconfigurable Atomic Transaction Commit (Q5145240) (← links)
- Robustness against Read Committed for Transaction Templates with Functional Constraints (Q6137875) (← links)