Author:
Pereira David P.,de Melo Ana C.V.
Reference26 articles.
1. The B-Book: Assigning Programs to Meanings;Abrial,2005
2. Fault Tolerance: Principles and Practice;Anderson,1990
3. Reo: A channel-based coordination model for component composition;Arbab;Math. Struct. Comput. Sci.,2004
4. An application of fault tolerance patterns and coordinated atomic actions to a problem in railway scheduling;Beder;SIGOPS Oper. Syst. Rev.,2000
5. P.H.S. Brito, R. de Lemos, F. Castor Filho, C.M.F. Rubira, Architecture-centric fault tolerance with exception handling. Technical Report IC-07-04, Unicamp, February 2007
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Formal Approach to implement java exceptions in cooperative systems;Journal of Systems and Software;2017-09
2. Data Flow Analysis and Formal Method;Communications in Computer and Information Science;2015
3. Fault Tolerance in Heterogeneous Distributed Systems;Proceedings of the 10th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing;2014
4. Coordinating Exceptions of Java Systems: Implementation and Formal Verification;2012 Eighth International Conference on the Quality of Information and Communications Technology;2012-09
5. Formalization and Verification of Exception Handling Logic in Service-Oriented Software;Advanced Materials Research;2012-02