SMT-Based Synthesis of Distributed Self-Stabilizing Systems.
Fathiyeh FaghihBorzoo BonakdarpourPublished in: ACM Trans. Auton. Adapt. Syst. (2015)
Keyphrases
- distributed systems
- multi agent
- computer systems
- complex systems
- database
- management system
- distributed object
- distributed network
- distributed environment
- data intensive
- autonomous mobile
- global knowledge
- program synthesis
- distributed computation
- open systems
- computing environments
- knowledge based systems
- peer to peer
- natural language processing
- wireless sensor networks
- real time