Author:
Andersen Kristoffer Just Arndal,Sergey Ilya
Publisher
Springer International Publishing
Reference27 articles.
1. Brady,E.: Type-driven development of concurrent communicating systems. Comput. Sci. (AGH), 18(3) (2017)
2. Chandra, T., Griesemer, R., Redstone, J.: Paxos made live: an engineering perspective. In: PODC (2007)
3. Coq Development Team. The Coq Proof Assistant Reference Manual (2018)
4. Lecture Notes in Computer Science;T Dinsdale-Young,2010
5. Dragoi, C., Henzinger, T.A., Zufferey,D.: PSync: a partially synchronous language for fault-tolerant distributed algorithms. In: POPL (2016)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献