Back to Results
First PageMeta Content
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

Document Date: 2012-04-29 23:34:56

Open Document

File Size: 128,91 KB

Share Result on Facebook
UPDATE