Project publications

  1. Maciej Kokociński, Tadeusz Kobus, and Paweł T. Wojciechowski. On mixing eventual and strong consistency: Bayou revisited. In Proceedings of PODC ‘19: the 38th ACM Symposium on Principles of Distributed Computing (Toronto, ON, Canada), pp. 458–460. July-August 2019. URL: http://www.cs.put.poznan.pl/pawelw/pub/podc19-arxiv.pdf, doi:10.1145/3293611.3331583.

  2. Jan Kończak, Paweł T. Wojciechowski, Nuno Santos, Tomasz Żurkowski, and André Schiper. Recovery algorithms for Paxos-based state machine replication. IEEE Transactions on Dependable and Secure Computing, ():1–18, July 2019. Early Access. URL: http://www.cs.put.poznan.pl/pawelw/pub/tdsc19-accepted.pdf, doi:10.1109/TDSC.2019.2926723.

Other publications

  1. Tadeusz Kobus, Maciej Kokociński, and Paweł T. Wojciechowski. Hybrid transactional replication: state-machine and deferred-update replication combined. IEEE Transactions on Parallel and Distributed Systems, 29(7):1499–1514, July 2018. Date of Publication: January 23, 2018. doi:10.1109/TPDS.2018.2796079.

  2. Paweł T. Wojciechowski, Tadeusz Kobus, and Maciej Kokociński. State-machine and deferred-update replication: analysis and comparison. IEEE Transactions on Parallel and Distributed Systems, 28(3):891–904, March 2017. Published: 12 July 2016. doi:10.1109/TPDS.2016.2590422.

  3. Tadeusz Kobus, Maciej Kokociński, and Paweł T. Wojciechowski. Relaxing real-time order in opacity and linearizability. Journal of Parallel and Distributed Computing, 100():57–70, February 2017. Accepted: October 4, 2016. Available online: October 24, 2016. doi:10.1016/j.jpdc.2016.10.007.

  4. Maciej Kokociński, Tadeusz Kobus, and Paweł T. Wojciechowski. Brief announcement: eventually consistent linearizability. In Proceedings of ACM PODC ‘15: the 34th ACM Symposium on Principles of Distributed Computing (Donostia-San Sebastián, Spain), pp. 237–239. July 2015. URL: http://www.cs.put.poznan.pl/pawelw/pub/podc15.pdf, doi:10.1145/2767386.2767448.

  5. Maciej Kokociński, Tadeusz Kobus, and Paweł T. Wojciechowski. Make the leader work: executive deferred update replication. In Proceedings of SRDS ‘14: the 33rd IEEE Symposium on Reliable Distributed Systems (Nara, Japan), pp. 89–94. October 2014. URL: http://www.cs.put.poznan.pl/pawelw/pub/srds14.pdf, doi:10.1109/SRDS.2014.42.

Relevant patents

  1. Paweł T. Wojciechowski, Tadeusz Kobus, and Maciej Kokociński. Fault-tolerant data processing computer system and method for implementing a distributed two-tier state machine. November 20, 2018. Date of filing: January 14, 2016. United States Patent No. US 10,135,929 B2. URL: https://patents.google.com/patent/US10135929B2.

  2. Paweł T. Wojciechowski, Tadeusz Kobus, and Maciej Kokociński. A fault-tolerant data processing computer system and method for implementing a distributed two-tier state machine. August 1, 2018. Date of filing: January 12, 2016. European Patent Specification No. EP 3 193 256 B1. URL: https://patents.google.com/patent/EP3193256B1.

BibTeX

The bibtex data for project publications, other publications, and patents.

Copyrights

The following notices apply to the IEEE articles:

© 2018–2019 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.