Author:
Gascón Adrià,Tiwari Ashish
Publisher
Springer International Publishing
Reference17 articles.
1. LNAI;A. Biere,2011
2. Lecture Notes in Computer Science;L. Moura de,2004
3. Fischer, M.J., Lynch, N.A., Paterson, M.S.: Impossibility of distributed consensus with one faulty process. JACM 32(2), 374–382 (1985)
4. Gascon, A., Tiwari, A.: Webpage: Synthesis of fault-tolerant distributed algorithms (2013),
http://www.csl.sri.com/users/tiwari/softwares/synth_distributed/
5. Gulwani, S., Jha, S., Tiwari, A., Venkatesan, R.: Synthesis of loop-free programs. In: Proc. PLDI (2011)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献