Name		Name	Last commit message	Last commit date
parent directory ..
ACP_NB.tla		ACP_NB.tla
ACP_NB_TLC.cfg		ACP_NB_TLC.cfg
ACP_NB_TLC.tla		ACP_NB_TLC.tla
ACP_NB_WRONG_TLC.cfg		ACP_NB_WRONG_TLC.cfg
ACP_NB_WRONG_TLC.tla		ACP_NB_WRONG_TLC.tla
ACP_SB.tla		ACP_SB.tla
ACP_SB_TLC.cfg		ACP_SB_TLC.cfg
ACP_SB_TLC.tla		ACP_SB_TLC.tla
README.md		README.md

README.md

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