PDF-Analysis and Verication of TwoPhase Commit ThreePhase Commit Protocols Muhammad Atif Department of Mathematics and Computer Science Technische Universiteit Eindhoven P
O Box 513 5600 MB Eindhoven The Netherlands Email matiftuenl Abstract This paper introduces a formal model of the dis tributed commit protocols in the process algebra
Download Presentation
"Analysis and Verication of TwoPhase Commit ThreePhase Commi " is the property of its rightful owner. Permission is granted to download and print materials on this website for personal, non-commercial use only, provided you retain all copyright notices. By downloading content from our website, you accept the terms of this agreement.
Presentation Transcript
Transcript not available.