Login / Signup
Testing consensus implementations using communication closure.
Cezara Dragoi
Constantin Enea
Burcu Kulahcioglu Ozkan
Rupak Majumdar
Filip Niksic
Published in:
Proc. ACM Program. Lang. (2020)
Keyphrases
</>
communication systems
efficient implementation
resource constrained
neural network
information sharing
communication patterns
real world
information systems
cooperative
expert systems
test cases
communication overhead
instant messaging
communication protocol
software implementation
distributed control