Incremental correct-by-construction of distributed systems.
Sarah BenyagoubMeriem OuederniYamine Aït AmeurPublished in: J. Comput. Lang. (2020)
Keyphrases
- distributed systems
- fault tolerant
- distributed environment
- message passing
- fault tolerance
- distributed computing
- geographically distributed
- mobile agents
- load balancing
- operating system
- real time systems
- agent technology
- deadlock detection
- database
- data replication
- case study
- mobile computing
- complex systems
- digital libraries
- concurrent systems