,
,
, Comparing Specification Styles for Transactional Consistency Models
,
, Low Latency vs Strong Semantics in Causal Consistency: Protocols and trade, p.109
, , p.110
, , p.110
, Consistency Compromises at the, p.111
, Jepsen 9: A Fsyncing Feeling
, , p.111
, Data structures as queries: Expressing CRDTs using Datalog
, , p.111
, Staying in Sync: From Transactions to Streams
, , p.112
, , p.112
, Massive Collaboratie Editing
, , p.113
, External Consistency in Partial Replication without, p.113
, , p.114
, , p.114
, , p.115
As available as possible, consistent when necessary, p.115 ,
, Fast State-Machine Replication via Monotonic Generic Broadcast
, , p.116
Robust (Parallel) Snapshot Isolation Viktor Vafeiadis, p.116 ,
, , p.117
, Working groups " Theory and Practice " working group report
, , p.117
, Theory vs Practice: are we developing the right models or systems?
, , p.118
, Where Do We Go Next
, , p.119
,
Alone together: compositional reasoning and inference for weak isolation, PACMPL 2(POPL), pp.1-2734, 2018. ,
DOI : 10.1007/s00778-013-0318-x
,