Analysis and Verication of TwoPhase Commit ThreePhase Commit Protocols Muhammad Atif Department of Mathematics and Computer Science Technische Universiteit Eindhoven P - PDF document

Download presentation
Analysis and Verication of TwoPhase Commit  ThreePhase Commit Protocols Muhammad Atif Department of Mathematics and Computer Science Technische Universiteit Eindhoven P
Analysis and Verication of TwoPhase Commit  ThreePhase Commit Protocols Muhammad Atif Department of Mathematics and Computer Science Technische Universiteit Eindhoven P

Tags

Box 513 5600

Embed / Share - Analysis and Verication of TwoPhase Commit ThreePhase Commit Protocols Muhammad Atif Department of Mathematics and Computer Science Technische Universiteit Eindhoven P


Presentation on theme: "Analysis and Verication of TwoPhase Commit ThreePhase Commit Protocols Muhammad Atif Department of Mathematics and Computer Science Technische Universiteit Eindhoven P"— Presentation transcript


By: luanne-stotts
Views: 112
Type: Public

Analysis and Verication of TwoPhase Commit ThreePhase Commit Protocols Muhammad Atif Department of Mathematics and Computer Science Technische Universiteit Eindhoven P - Description


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 mCRL2 and also their general requirements in the modal calculus We show how to make ID: 8727 Download Pdf

Related Documents