Local Distributed Verification.

Alkida Balliu Gianlorenzo D'Angelo Pierre Fraigniaud Dennis Olivetti

Published in: CoRR (2016)

Keyphrases

distributed environment
cooperative
distributed systems
lightweight
multi agent
distributed learning
distributed data
distributed database systems
computer networks
model checking
mobile agents
databases
peer to peer
multiscale
web services
website
search engine
loosely coupled
distributed architecture
database