Epistemic model checking of distributed commit protocols with byzantine faults.

Omar I. Al-Bataineh, Mark Reynolds

Browse the full ICSE paper archive.