Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means.

Barbara Gallina, Nicolas Guelfi, Alexander B. Romanovsky

Browse the full ISSRE paper archive.