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