Linearizability George Adam Pfeiffer Maurice Herlihy Regular semantics Sequential consistency Read–modify–write Ctrie Java concurrency Shared register Atomic semantics Hash array mapped trie Michel Raynal Jeannette Wing Concurrent data structure Hassan K. Khalil Eventual consistency Jayadev Misra Equivariant sheaf Ross' π lemma Legendre pseudospectral method Time-of-check to time-of-use Spectral submanifold Ross–Fahroo pseudospectral method CockroachDB Causal consistency Consistency model Brjuno number Pseudospectral optimal control Deadlock Database transaction schedule Wide-area damping control Cosmos DB Concurrency control I. Michael Ross Shared snapshot objects Race conditio…

on Replication (computing) Trajectory optimization State observer MongoDB