PaPEC@EuroSys 2014: Amsterdam, The Netherlands

Refine list

showing all ?? records

Replicated objects and composition

Operations and logging

Consistency trade-offs

Correctness