PaPEC@EuroSys 2014: Amsterdam, The Netherlands

Replicated objects and composition

Operations and logging

Consistency trade-offs

Correctness

maintained by Schloss Dagstuhl LZI at University of Trier