Verification of Probabilistic Systems with Faulty Communication.

Parosh Aziz Abdulla Alexander Moshe Rabinovich

Published in: FoSSaCS (2003)

Keyphrases

probabilistic model
management system
computer systems
databases
learning systems
communication protocol
open systems
communication protocols
expert systems
distributed systems
probability theory
formal methods
distributed computation
multiple faults