Epistemic Model Checking of Distributed Commit Protocols with Byzantine Faults

Omar Al-Bataineh, Mark Reynolds

Research output: Chapter in Book/Conference paperConference paper

Fingerprint Dive into the research topics of 'Epistemic Model Checking of Distributed Commit Protocols with Byzantine Faults'. Together they form a unique fingerprint.

Engineering & Materials Science