The Impact of Propositional Messages on Termination of Declarative Distributed Systems.
Francesco Di CosmoPublished in: ESSLLI Student Sessions (2021)
Keyphrases
- mobile computing
- distributed systems
- mobile agents
- fault tolerant
- load balancing
- distributed computing
- distributed environment
- message passing
- distributed database systems
- fault tolerance
- geographically distributed
- security policies
- propositional logic
- artificial intelligence
- first order logic
- knowledge representation
- digital libraries
- agent based systems
- database management systems
- software development
- agent technology
- database systems
- real time systems
- real time