Pawel T. Wojciechowski, Tadeusz Kobus, Maciej Kokocinski. Model-Driven Comparison of State-Machine-Based and Deferred-Update Replication Schemes. In IEEE 31st Symposium on Reliable Distributed Systems, SRDS 2012, Irvine, CA, USA, October 8-11, 2012. pages 101-110, IEEE, 2012. [doi]
Abstract is missing.