Programming and proving with distributed protocols.
Ilya SergeyJames R. WilcoxZachary TatlockPublished in: Proc. ACM Program. Lang. (2018)
Keyphrases
- distributed systems
- distributed environment
- programming language
- multi agent
- cooperative
- fault tolerant
- database replication
- distributed network
- communication protocol
- programming environment
- distributed data
- communication cost
- lightweight
- peer to peer
- computer networks
- agent technology
- distributed computing
- mobile agents
- multi party
- information systems
- commit protocols
- real time