PSync: a partially synchronous language for fault-tolerant distributed algorithms-Reference-Cited by-同舟云学术

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

Published:2016-01-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
language:
Short-container-title:

Author:

Drăgoi Cezara¹,Henzinger Thomas A.²,Zufferey Damien³

Affiliation:

1. Inria, France / ENS, France / CNRS, France

2. IST Austria, Austria

3. Massachusetts Institute of Technology, USA

Funder

National Science Foundation

European Research Council

Austrian Science Fund

Defense Advanced Research Projects Agency

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2837614.2837650

Reference76 articles.

1. Using Forward Reachability Analysis for Verification of Lossy Channel Systems

2. I do declare

Cited by 27 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Coarser Equivalences for Causal Concurrency;Proceedings of the ACM on Programming Languages;2024-01-05

2. Compiling Distributed System Models with PGo;Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2023-01-27

3. Quorum Tree Abstractions of Consensus Protocols;Programming Languages and Systems;2023

4. All in One: Design, Verification, and Implementation of SNOW-optimal Read Atomic Transactions;ACM Transactions on Software Engineering and Methodology;2022-03-07

5. Formal Guarantees of Timely Progress for Distributed Knowledge Propagation;Electronic Proceedings in Theoretical Computer Science;2021-10-21