Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems.
Jesko Hecking-HarbuschNiklas O. MetzgerPublished in: ATVA (2019)
Keyphrases
- distributed systems
- fault tolerant
- distributed environment
- load balancing
- fault tolerance
- geographically distributed
- distributed computing
- concurrent systems
- message passing
- mobile agents
- operating system
- security policies
- complexity analysis
- artificial intelligence
- mobile devices
- digital libraries
- data replication
- replicated data
- databases