Using coordinated atomic actions to design safety-critical systems: a production cell case study

On distribution of coordinated atomic actions

ACM SIGOPS Operating Systems Review

A distributed object-oriented framework for dependable multiparty interactions

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Coordinated atomic actions: how to remain ACID in the modern world

ACM SIGSOFT Software Engineering Notes

An application of fault tolerance patterns and coordinated atomic actions to a problem in railway scheduling

ACM SIGOPS Operating Systems Review

Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions

IEEE Transactions on Computers - Special issue on fault-tolerant embedded systems

Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study

Journal of Systems and Software

Improving reliability of cooperative concurrent systems with exception flow analysis

Journal of Systems and Software

Global-to-local approach to rigorously developing distributed system with exception handling

Journal of Computer Science and Technology