Compositional programming and testing of dynamic distributed systems.
Ankush DesaiAmar PhanishayeeShaz QadeerSanjit A. SeshiaPublished in: Proc. ACM Program. Lang. (2018)
Keyphrases
- distributed systems
- fault tolerant
- distributed environment
- distributed computing
- load balancing
- fault tolerance
- programming language
- geographically distributed
- mobile agents
- message passing
- real time systems
- loosely coupled
- deadlock detection
- concurrent systems
- operating system
- high assurance
- distributed database systems
- dynamic environments
- response time
- changing environment
- data availability
- agent based systems
- cloud computing
- mobile devices