Logical Analysis of Distributed Systems: The Importance of Being Constructive (Invited Talk).
Michael MendlerPublished in: DISC (2018)
Keyphrases
- distributed systems
- invited talk
- fault tolerant
- geographically distributed
- distributed environment
- artificial intelligence
- real time systems
- distributed computing
- load balancing
- fault tolerance
- message passing
- machine learning
- operating system
- information systems
- agent technology
- security policies
- software engineering
- information technology
- data replication
- concurrent systems