scientific article; zbMATH DE number 1956504

MaRDI QIDQ4417850zbMATH OpenFDO

Authors Alexander Rabinovich, Parosh A. Abdulla

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2620/26200039.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Verification of probabilistic systems with faulty communication
• scientific article; zbMATH DE number 2038771
• Quantitative analysis of probabilistic lossy channel systems
• Validation of Stochastic Systems
• scientific article; zbMATH DE number 1956509

Cited in

(13)

• Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness
• scientific article; zbMATH DE number 2038771 (Why is no real title available?)
• Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties
• \(\pi\)-calculus with noisy channels
• Unreliable channels are easier to verify than perfect channels
• Stochastic Games with Lossy Channels
• Simulating perfect channels with probabilistic lossy channels
• Deciding probabilistic bisimilarity over infinite-state probabilistic systems
• Quantitative analysis of probabilistic lossy channel systems
• A note on the attractor-property of infinite-state Markov chains
• Verification of probabilistic systems with faulty communication
• Verification of multiprocess probabilistic protocols
• Deterministic Models of Communication Faults

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417850)