Reasoning about distributed reconfigurable systems.
Emma AhrensMarius BozgaRadu IosifJoost-Pieter KatoenPublished in: Proc. ACM Program. Lang. (2022)
Keyphrases
- distributed systems
- cooperative
- general purpose
- learning systems
- distributed network
- mission critical
- open systems
- physical systems
- artificial intelligence
- building blocks
- computer systems
- peer to peer
- low cost
- lightweight
- software systems
- fault tolerant
- distributed database systems
- spatial reasoning
- management system
- expert systems
- distributed object
- high scalability