Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means.
Barbara GallinaNicolas GuelfiAlexander B. RomanovskyPublished in: ISSRE (2007)
Keyphrases
- distributed systems
- fault tolerant
- concurrent systems
- distributed environment
- fault tolerance
- geographically distributed
- load balancing
- atomic actions
- mobile agents
- distributed database systems
- multi agent
- model checking
- temporal relations
- data replication
- human activity recognition
- distributed databases
- higher level
- language model
- computer vision