Sebastian Burckhardt Daan Leijen Jonathan Protzenko Manuel Fähndrich Global Sequence Protocol: A Robust Abstraction for Replicated Shared State. 568-590 2015 ECOOP https://doi.org/10.4230/LIPIcs.ECOOP.2015.568 conf/ecoop/2015 db/conf/ecoop/ecoop2015.html#BurckhardtLPF15