Skip navigation
Skip navigation

Analysis and verification of Two-Phase Commit & Three-Phase Commit protocols

Atif, Muhammad

Description

This paper introduces a formal model of the distributed commit protocols in the process algebra mCRL2 and also their general requirements in the modal μ-calculus. We show how to make straightforward models of protocols and by doing so, how it becomes eas

CollectionsANU Research Publications
Date published: 2009
Type: Conference paper
URI: http://hdl.handle.net/1885/72717
Source: 2009 International Conference on Emerging Technologies, ICET 2009
DOI: 10.1109/ICET.2009.5353152

Download

File Description SizeFormat Image
01_Atif_Analysis_and_verification_of_2009.pdf381.62 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator