Opis: reliable distributed systems in OCaml.
Pierre-Évariste DagandDejan KosticViktor KuncakPublished in: TLDI (2009)
Keyphrases
- distributed systems
- fault tolerant
- distributed environment
- load balancing
- fault tolerance
- distributed computing
- loosely coupled
- data replication
- concurrent systems
- operating system
- mobile agents
- security policies
- geographically distributed
- deadlock detection
- replicated data
- real time systems
- agent based systems
- multi agent
- database systems
- database