PSync: a partially synchronous language for fault-tolerant distributed algorithms

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 11, 2016
Source ID
10.1145/2837614.2837650

Entities

People

  • Cezara Drăgoi
  • Damien Zufferey
  • Thomas Henzinger

Organizations

  • Austrian Science Fund
  • Defense Advanced Research Projects Agency
  • European Research Council
  • Massachusetts Institute of Technology
  • National Science Foundation
  • École Normale Supérieure