S. Burckhardt and .. ,

.. Now-geo-distributed-sebastian-burckhardt,

, Comparing Specification Styles for Transactional Consistency Models

A. Cerone and .. ,

-. , D. Didona, and .. , Low Latency vs Strong Semantics in Causal Consistency: Protocols and trade, p.109

D. Paxos-on-the-edge-amr-el-abbadi, F. Agrawal, and .. Nawab, , p.110

C. Reasoning, I. For-weak-isolation-suresh-jagannathan, and .. , , p.110

C. Brad and K. , Consistency Compromises at the, p.111

, Jepsen 9: A Fsyncing Feeling

K. Kingsbury and .. , , p.111

, Data structures as queries: Expressing CRDTs using Datalog

M. Kleppmann and .. , , p.111

, Staying in Sync: From Transactions to Streams

M. Kleppmann and .. , , p.112

H. Computation-for-distributed-computing-christopher-meiklejohn and .. , , p.112

, Massive Collaboratie Editing

P. Molli and .. , , p.113

R. Truetime, M. J. Palmieri, S. Kishi, and .. Peluso, External Consistency in Partial Replication without, p.113

P. Scalable-cloud-services-gustavo-petri, P. Eugster, S. Ravi, M. Saeida-ardekani, B. Sang et al., , p.114

S. Enforcing and .. In-weakly-consistent-databases-nuno-preguica, , p.114

R. Meyer, A. Poetzsch-heffter, and .. , , p.115

J. Shapiro, A. Bieniusa, C. Meiklejohn, N. Preguica, V. Balegas et al., As available as possible, consistent when necessary, p.115

, Fast State-Machine Replication via Monotonic Generic Broadcast

P. Sutra and .. , , p.116

.. , Robust (Parallel) Snapshot Isolation Viktor Vafeiadis, p.116

A. Lasp and .. Peter-van-roy, , p.117

, Working groups " Theory and Practice " working group report

C. Baquero, C. Ferreira, and .. , , p.117

, Theory vs Practice: are we developing the right models or systems?

K. Daudjee and .. , , p.118

, Where Do We Go Next

K. Kingsbury and .. , , p.119

P. ,

G. Kaki, K. Nagar, M. Najafzadeh, and S. Jagannathan, Alone together: compositional reasoning and inference for weak isolation, PACMPL 2(POPL), pp.1-2734, 2018.
DOI : 10.1007/s00778-013-0318-x

G. Christopher-meiklejohn, U. Louvain, T. Be-roland-meyer, . Braunschweig, and M. De-maged,