https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2024.32
Distributed Agreement in the Arrovian Framework
distributed agreementin theframework
https://2023.splashcon.org/details/splash-2023-oopsla/7/Enabling-Bounded-Verification-of-Doubly-Unbounded-Distributed-Agreement-Based-Systems
Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded...
The ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software...
distributed agreementenablingboundedverification
https://www.ovice.com/sla
ovice Service Level Agreement | Virtual Workplace for Distributed Teams - ovice
service level agreementvirtual workplacedistributedteams