Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model

Saswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model'. Together they form a unique fingerprint.

Keyphrases

Computer Science