15:00 - 15:30
Symposium
Systematic Design of Adequately Consistent Distributed Systems?
A. Bouajjani
15:00 - 15:30