Login / Signup
Verifying distributed programs via canonical sequentialization.
Alexander Bakst
Klaus von Gleissenthall
Rami Gökhan Kici
Ranjit Jhala
Published in:
Proc. ACM Program. Lang. (2017)
Keyphrases
</>
distributed systems
cooperative
computer networks
artificial intelligence
multi agent
lightweight
peer to peer
distributed environment
distributed processing
image sequences
optimal solution
query processing
computing environments
distributed database systems
distributed data
fixpoint