Barbara Gallina, Nicolas Guelfi, Alexander Romanovsky. Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means. In ISSRE 2007, The 18th IEEE International Symposium on Software Reliability, Trollhättan, Sweden, 5-9 November 2007. pages 29-38, IEEE Computer Society, 2007. [doi]
Abstract is missing.