ACP_SB

Author(s): Stephan Merz & students

Source: https://members.loria.fr/SMerz/talks/argentina2005/Charpentier/charpov/Teaching/CS-986/TLC/

Based on Babaoğlu, Özalp, and Sam Toueg. Non-blocking atomic commitment. Distributed systems (2nd Ed.). ACM Press/Addison-Wesley Publishing Co., 1993