Pages that link to "Item:Q1073577"
From MaRDI portal
The following pages link to Generalized theory of serializability (Q1073577):
Displaying 11 items.
- I-serializability: generalized correctness for transaction-based environments (Q287187) (← links)
- Correctness of concurrent executions of closed nested transactions in transactional memory systems (Q391262) (← links)
- Algebraic specification of concurrent systems (Q914405) (← links)
- Maximal serializability of iterated transactions (Q1062471) (← links)
- The complexity of strict serializability revisited (Q1107969) (← links)
- Integrity aspects of quasi serializability (Q1178192) (← links)
- Operational specification with joint actions: Serializable databases (Q1193603) (← links)
- On-line multiversion database concurrency control (Q1199702) (← links)
- On the serializability theorem for nested transactions (Q1327311) (← links)
- Universally serializable computation (Q1384538) (← links)
- Serializable histories in quantified propositional temporal logic (Q4652741) (← links)