On Structuring Cooperative and Competitive Concurrent Systems

[1]  Roy H. Campbell,et al.  Atomic Actions in Concurrent Systems , 1986, ICDCS.

[2]  Jean-Claude Laprie,et al.  Software-based critical systems , 1996, SAFECOMP.

[3]  David B. Lomet,et al.  Process structuring, synchronization, and recovery using atomic actions , 1977, Language Design for Reliable Software.

[4]  Brian Randell,et al.  Error recovery in asynchronous systems , 1986, IEEE Transactions on Software Engineering.

[5]  Avelino Francisco Zorzo,et al.  Coordinated atomic actions as a technique for implementing distributed gamma computation , 1999, J. Syst. Archit..

[6]  E. B. Moss,et al.  Nested Transactions: An Approach to Reliable Distributed Computing , 1985 .

[7]  Butler W. Lampson,et al.  Atomic Transactions , 1980, Advanced Course: Distributed Systems.

[8]  C. A. R. Hoare,et al.  Parallel Programming: An Axiomatic Approach , 1975, Comput. Lang..

[9]  Matthias Nussbaum.  Database Transaction Models for Advanced Applications , 1992 .

[10]  Alan Burns,et al.  Concurrency in ADA , 1995 .

[11]  Santosh K. Shrivastava,et al.  The duality of fault‐tolerant system structures , 1993, Softw. Pract. Exp..

[12]  Zahir Tari,et al.  Object Transaction Service , 2001 .

[13]  K. H. Kim,et al.  Implementation of the Conversation Scheme in Message-Based Distributed Computer Systems , 1992, IEEE Trans. Parallel Distributed Syst..

[14]  Brian Randell,et al.  System Design and Structuring , 1986, Comput. J..

[15]  Nicolas Guelfi,et al.  Formal Development and Validation of the DSGamma System Based on CO-OPN/2 and Coordinated Atomic Actions , 1998 .

[16]  Peter A. Lee.  Software-Faults: The Remaining Problem in Fault Tolerant Systems? , 1993, Hardware and Software Architectures for Fault Tolerance.

[17]  Rogério de Lemos,et al.  Coordinated atomic actions in modelling object cooperation , 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).

[18]  Andreas Reuter,et al.  Transaction Processing: Concepts and Techniques , 1992 .

[19]  Jorge Bernardino,et al.  A Fault-Tolerant Mechanism for Simple Controllers , 1994, EDCC.

[20]  Jie Xu,et al.  Exception handling in object-oriented real-time distributed systems , 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).

[21]  Eike Best,et al.  Semantics of sequential and parallel programs , 1996, Prentice Hall International series in computer science.

[22]  B. Randell,et al.  Using Coordinated Atomic Actions to Design Complex Safety-critical Systems: the Production Cell Case Study , 1997 .

[23]  Reino Kurki-Suonio,et al.  Liberating Object-Oriented Modeling from Programming-Level Abstractions , 1997, ECOOP Workshops.

[24]  K. H. Kim,et al.  Time-bounded cooperative recovery with the distributed real-time conversation scheme , 1997, Proceedings Third International Workshop on Object-Oriented Real-Time Dependable Systems.

[25]  Alexander Romanovsky.  Software diversity as a way to well-structured concurrent software , 1995, OPSR.

[26]  D. B. Lomet.  Process structuring, synchronization, and recovery using atomic actions , 1977 .

[27]  Lorenzo Strigini,et al.  Coordinated backward between client processes and data servers , 1997, IEE Proc. Softw. Eng..

[28]  John C. Knight,et al.  On the provision of backward error recovery in production programming languages , 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[29]  Hermann Kopetz,et al.  Fault tolerance, principles and practice , 1990 .

[30]  Peter A. Barrett,et al.  Software Fault Tolerance: An Evaluation , 1985, IEEE Transactions on Software Engineering.

[31]  William E. Weihl,et al.  Implementation of resilient, atomic data types , 1985, TOPL.

[32]  Cecília M. F. Rubira,et al.  Fault tolerance in concurrent object-oriented software through coordinated error recovery , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[33]  Jie Xu,et al.  Exception handling and resolution in distributed object-oriented systems , 1996, Proceedings of 16th International Conference on Distributed Computing Systems.

[34]  Lorenzo Strigini,et al.  Flexible schemes for application-level fault tolerance , 1991, [1991] Proceedings Tenth Symposium on Reliable Distributed Systems.

[35]  Roger M. Needham,et al.  On the duality of operating system structures , 1979, OPSR.

[36]  Brian Randell,et al.  Process Structuring , 1973, CSUR.

[37]  Brian Randell,et al.  Coordinated Atomic Actions: from Concept to Implementation , 1997 .

[38]  Avelino Francisco Zorzo,et al.  Rigorous development of a safety-critical system based on coordinated atomic actions , 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).

[39]  Brian Randell,et al.  System structure for software fault tolerance , 1975, IEEE Transactions on Software Engineering.