Invisible Safety of Distributed Protocols.

Ittai Balaban Amir Pnueli Lenore D. Zuck

Published in: ICALP (2) (2006)

Keyphrases

distributed systems
multi party
lightweight
cooperative
database replication
distributed environment
distributed computing
computer networks
loosely coupled
fault tolerant
mobile agents
peer to peer
data mining
multi agent
distributed architecture
communication protocol
distributed network
information systems