A Multiformalism Approach to Formalize Complex Distributed Systems.
Haféda BachatènePascal EstraillierPublished in: IFIP Congress (1) (1992)
Keyphrases
- distributed systems
- fault tolerant
- message passing
- load balancing
- fault tolerance
- loosely coupled
- distributed database systems
- geographically distributed
- distributed environment
- distributed computing
- mobile agents
- operating system
- data replication
- concurrent systems
- security policies
- real time
- replicated data
- complex systems
- changing environment
- mobile computing
- deadlock detection