Avoiding State Explosion for Distributed Systems with Timestamps.
Fabrice DerepasPaul GastinDavid PlainfosséPublished in: FME (2001)
Keyphrases
- distributed systems
- fault tolerant
- distributed environment
- load balancing
- distributed computing
- fault tolerance
- geographically distributed
- mobile agents
- message passing
- operating system
- mobile computing
- real time systems
- distributed database systems
- databases
- data replication
- data availability
- replicated data
- concurrent systems
- loosely coupled
- high assurance
- security policies
- news articles
- multi agent
- case study
- artificial intelligence