Formal Proof of Impossibility of Reliability in Crashing Protocols.

K. Gopinath Anil K. Pugalia K. V. M. Naidu

Published in: IWDC (2004)

Keyphrases

formal proof
theorem prover
reliability analysis
database
data sets
information retrieval
neural network
artificial intelligence
image sequences
data structure
evolutionary algorithm
random variables
cryptographic protocols
transaction processing systems