Pages that link to "Item:Q1124386"
From MaRDI portal
The following pages link to Serialization of concurrent programs (Q1124386):
Displaying 14 items.
- I-serializability: generalized correctness for transaction-based environments (Q287187) (← links)
- Maximal serializability of iterated transactions (Q1062471) (← links)
- Generalized theory of serializability (Q1073577) (← links)
- Operational specification with joint actions: Serializable databases (Q1193603) (← links)
- Critique of the Lake Arrowhead three (Q1193607) (← links)
- On correctness on nonserializable executions (Q1267712) (← links)
- Global serializability of concurrent programs (Q1318722) (← links)
- Universally serializable computation (Q1384538) (← links)
- Combinatoire des mots et étude quantitative de la sérialisabilité: Application à la concurrence d'accès à une base de données. (Combinatorics of words and the quantitative study of serializability: Application to the concurrence of database access) (Q1825050) (← links)
- (Q2729921) (← links)
- Workflow concurrency control (Q2747746) (← links)
- (Q3785928) (← links)
- Precise serialization for optimistic concurrency control (Q4225382) (← links)
- (Q4413579) (← links)