Verification of probabilistic systems with faulty communication

@article{Abdulla2005VerificationOP,
  title={Verification of probabilistic systems with faulty communication},
  author={Parosh Aziz Abdulla and Nathalie Bertrand and Alexander Moshe Rabinovich and Philippe Schnoebelen},
  journal={Inf. Comput.},
  year={2005},
  volume={202},
  pages={141-165}
}
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel systems (LCS) [AJ96b] have been proposed. In an LCS the communication channels are modelled as FIFO buffers which are unbounded, but also unreliable in the sense that they can nondeterministically lose messages. Recently, several attempts [BE99, ABIJ00] have been made to study probabilistic Lossy Channel Systems (PLCS… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-10 OF 50 CITATIONS, ESTIMATED 35% COVERAGE

fewer than 50 Citations

0246'03'06'10'14'18
Citations per Year
Semantic Scholar estimates that this publication has 50 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…