Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Parameterized Verification.
Nouraldin JaberChristopher WagnerSwen JacobsMilind KulkarniRoopsha SamantaPublished in: CoRR (2022)
Keyphrases
- distributed systems
- autonomous mobile
- multi agent
- computer systems
- expert systems
- data intensive
- fault tolerant
- distributed database systems
- distributed environment
- uniform access
- wide area network
- mission critical
- open systems
- computing environments
- database
- complex systems
- knowledge based systems
- management system
- cooperative
- information systems