Formal Modeling and Analysis of Atomic Commitment Protocols.

Dmitri Chkliaev, Jozef Hooman, Peter van der Stok

Browse the full ICPADS paper archive.