Author:
Lanese Ivan,Mezzina Claudio Antares,Stefani Jean-Bernard
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Armstrong, J.: Making Reliable Distributed Systems in the Presence of Software Errors. PhD thesis, KTH, Stockholm, Sweden (2003)
2. Lecture Notes in Computer Science;G. Bacci,2011
3. Boothe, B.: Efficient Algorithms for Bidirectional Debugging. In: Proc. of PLDI 2000, pp. 299–310. ACM Press (2000)
4. Bruni, R., Melgratti, H., Montanari, U.: Theoretical Foundations for Compensations in Flow Composition Languages. In: Proc. of POPL 2005, pp. 209–220. ACM Press (2005)
5. Lecture Notes in Computer Science;M. Butler,2005
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献