Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL.

Omar I. Al-Bataineh Tim French Terry Woodings

Published in: TIME (2012)

Keyphrases

formal analysis
database
model checking
multi agent
cooperative
lightweight
formal methods
closed loop