Protocol combinators for modeling, testing, and execution of distributed systems.
Kristoffer Just Arndal AndersenIlya SergeyPublished in: J. Funct. Program. (2021)
Keyphrases
- distributed systems
- fault tolerant
- replicated data
- distributed environment
- data availability
- geographically distributed
- load balancing
- fault tolerance
- distributed computing
- message passing
- mobile agent system
- mobile agents
- distributed database systems
- deadlock detection
- mobile computing
- agent based systems
- concurrent systems
- real time systems
- service composition
- web services
- communication protocol
- data replication
- test cases
- operating system