A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL.

Anders P. Ravn, Jir Srba, Muhammad Saleem Vighio

Browse the full ISoLA paper archive.