Eventual consensus in Synod: verification using a failure-aware actor model

Document Details

Document Type: Pub Defense Publication
Publication Date: Jul 25, 2022
Source ID: 10.1007/s11334-022-00463-5

Entities

People

Carlos Varela
Gul Agha
Saswata Paul
Stacy Patterson

Organizations

Air Force Office of Scientific Research
National Science Foundation