<--- Back to Details
First PageDocument Content
Information / Two-phase commit protocol / Three-phase commit protocol / Atomic commit / Atomic broadcast / Modal logic / Communications protocol / Transaction processing / Data / Data management
Date: 2004-12-12 14:15:23
Information
Two-phase commit protocol
Three-phase commit protocol
Atomic commit
Atomic broadcast
Modal logic
Communications protocol
Transaction processing
Data
Data management

Knowledge for atomic commit protocols

Add to Reading List

Source URL: www.nik.no

Download Document from Source Website

File Size: 205,95 KB

Share Document on Facebook

Similar Documents

WS-FM 2004 Preliminary Version A Process Calculus of Atomic Commit Laura Bocchi 1 Lucian Wischik 2 Department of Computer Science University of Bologna, Italy

DocID: 1s08a - View Document

Transaction processing / Data management / Two-phase commit protocol / Three-phase commit protocol / Atomic commit / U3 / U2 / COMMIT / TC / Replication / S3 / S4

Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYSpringExam Two

DocID: 1p2BK - View Document

Transaction processing / Concurrent computing / Data / Consensus / Distributed algorithm / Two-phase commit protocol / Data synchronization / Replication / Atomic broadcast / Fault-tolerant computer systems / Computing / Data management

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

Data management / Computing / Two-phase commit protocol / Model checking / Three-phase commit protocol / Uppaal Model Checker / Formal verification / Atomic commit / Transmission Control Protocol / Transaction processing / Data / Information

Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL Omar Al-Bataineh Tim French Abstract

DocID: 19rnd - View Document

Information / Two-phase commit protocol / Three-phase commit protocol / Atomic commit / Atomic broadcast / Modal logic / Communications protocol / Transaction processing / Data / Data management

Knowledge for atomic commit protocols

DocID: 11jk9 - View Document