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

First Page		Document Content
Date: 2012-04-29 23:34:56 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 Add to Reading List Source URL: www.csse.uwa.edu.au Download Document from Source Website File Size: 128,91 KB Share Document on Facebook

	Sinfonia: a new paradigm for building scalable distributed systems Marcos K. Aguilera∗ ∗ Arif Merchant∗ DocID: 1qZBY - View Document
	Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYSpringExam Two DocID: 1p2BK - View Document
	Consensus on Transaction Commit Jim Gray and Leslie Lamport Microsoft Research 1 January 2004 revised 19 April 2004, 8 September 2005 MSR-TR DocID: 1afd0 - View Document
	Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL Omar Al-Bataineh Tim French Abstract DocID: 19rnd - View Document
	Split Pressure Solar Water Heater Model No:SH - -- -- - -- -- -- - -- -- - -- -- - -- -- - -- -- -- - -- -- - -- -- - -- -- - -- -- -- - -- -- - -- -- - -- -- - -- -- -- - -- -- - -- -- - -- -- - -- -- -- - -- -- - -- - DocID: 1548e - View Document