Formalizing Reusable Communication Models for Distributed Systems Architecture.
Quentin RoulandBrahim HamidJason JaskolkaPublished in: MEDI (2018)
Keyphrases
- distributed systems
- software development environments
- software architecture
- fault tolerance
- fault tolerant
- distributed environment
- geographically distributed
- loosely coupled
- load balancing
- message passing
- deadlock detection
- communication protocol
- distributed computing
- database
- security policies
- operating system
- mobile computing
- agent technology
- distributed database systems
- concurrent systems
- communication cost