Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272).
Armando CastañedaHans van DitmarschRoman KuznetsYoram MosesUlrich SchmidPublished in: Dagstuhl Reports (2023)
Keyphrases
- distributed systems
- topological and directional
- fault tolerant
- distributed environment
- distributed computing
- load balancing
- knowledge base
- fault tolerance
- geographically distributed
- message passing
- mobile agents
- replicated data
- distributed database systems
- case study
- operating system
- security policies
- real time systems
- concurrent systems
- deadlock detection
- spatial reasoning
- mobile computing
- qualitative spatial reasoning
- agent based systems
- petri net