Finding Non-terminating Executions in Distributed Asynchronous Programs.

Michael Emmi Akash Lal

Published in: SAS (2012)

Keyphrases

distributed systems
fault tolerant
peer to peer
communication overhead
cooperative
computer networks
database transactions
databases
distributed network
distributed computing
communication cost
distributed environment
multi agent
online discussion
discussion forums
lightweight
asynchronous circuits