First Page | Document Content | |
---|---|---|
![]() Date: 2004-12-12 14:15:23Information Two-phase commit protocol Three-phase commit protocol Atomic commit Atomic broadcast Modal logic Communications protocol Transaction processing Data Data management | Add to Reading List |
![]() | WS-FM 2004 Preliminary Version A Process Calculus of Atomic Commit Laura Bocchi 1 Lucian Wischik 2 Department of Computer Science University of Bologna, ItalyDocID: 1s08a - View Document |
![]() | Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYSpringExam TwoDocID: 1p2BK - View Document |
![]() | ZooKeeper’s atomic broadcast protocol: Theory and practice Andr´e Medeiros March 20, 2012 Abstract Apache ZooKeeper is a distributed coordination service for cloud computing,DocID: 1fFgE - View Document |
![]() | Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL Omar Al-Bataineh Tim French AbstractDocID: 19rnd - View Document |
![]() | Knowledge for atomic commit protocolsDocID: 11jk9 - View Document |