Publication:3877033
From MaRDI portal
zbMath0436.68022MaRDI QIDQ3877033
Publication date: 1980
reliability; distributed system; concurrency control; deadlock; two-phase commit; transaction model; degrees of consistency; granularity of locking; predicate locks
68N25: Theory of operating systems
Related Items
Correctness proof for the majority consensus algorithm, Choosing social laws for multi-agent systems: Minimality and simplicity, Progress assumption in concurrent systems