Interactive Distributed Proofs.

Gillat Kol Rotem Oshman Raghuvansh R. Saxena

Published in: PODC (2018)

Keyphrases

distributed systems
computer graphics
distributed environment
user interaction
theorem proving
communication overhead
cooperative
distributed database systems
databases
multi agent
peer to peer
computer networks
fault tolerant
computing environments
distributed data