A case study of agreement problems in distributed systems: non-blocking atomic commitment | IEEE Conference Publication | IEEE Xplore