PSync: A Partially Synchronous Language for Fault-tolerant Distributed Algorithms

PSync is a language designed by Cezara Drăgoi, Thomas A. Henzinger, and Damien Zufferey to simplify the implementation and reasoning of fault-tolerant distributed algorithms. It introduces a DSL with key elements like communication-closed rounds, an adversary environment model, and efficient runtim

0 views • 22 slides