Author:
Francalanza Adrian,Hennessy Matthew
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Amadio, R.M., Prasad, S.: Localities and failures. FSTTCS: Foundations of Software Technology and Theoretical Computer Science 14 (1994)
2. Christian, F.: Understanding fault tolerant distributed systems. Communications of the ACM 34(2), 56–78 (1991)
3. Ciaffaglione, A., Hennessy, M., Rathke, J.: Proof methodologies for behavioural equivalence in Dπ. Technical Report 03/2005, University of Sussex (2005)
4. Francalanza, A., Hennessy, M.: A theory for observational fault tolerance, www.cs.um.edu.mt/~afran/
5. Lecture Notes in Computer Science;A. Francalanza,2005
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献