Locally Checkable Proofs in Distributed Computing.
Mika GöösJukka SuomelaPublished in: Theory Comput. (2016)
Keyphrases
- distributed computing
- distributed environment
- grid computing
- distributed systems
- fault tolerance
- geographically distributed
- cloud computing
- mobile agents
- mobile communications
- theorem proving
- peer to peer
- virtual organization
- distributed computing systems
- resource discovery
- computing devices
- virtual machine
- computing platform
- theorem prover
- distributed computing environment
- databases
- resource sharing