scientific article; zbMATH DE number 2038771

MaRDI QIDQ4449237zbMATH OpenFDO

Authors Alexander Rabinovich

Publication date 8 February 2004

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

Mathematics Subject Classification ID

Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Quantitative analysis of probabilistic lossy channel systems
• scientific article; zbMATH DE number 1956504
• Verification of probabilistic systems with faulty communication
• Validation of Stochastic Systems
• Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties

Cited in

(14)

• Validation of Stochastic Systems
• An analytical model for end-to-end communication channel over PLCN based on QBDs
• CSL model checking algorithms for QBDs
• scientific article; zbMATH DE number 2098368 (Why is no real title available?)
• Lossiness of Communication Channels Modeled by Transducers
• Stochastic Games with Lossy Channels
• Simulating perfect channels with probabilistic lossy channels
• Deciding probabilistic bisimilarity over infinite-state probabilistic systems
• scientific article; zbMATH DE number 1956504 (Why is no real title available?)
• Quantitative analysis of probabilistic lossy channel systems
• Lossiness of communication channels modeled by transducers1
• A note on the attractor-property of infinite-state Markov chains
• Verification of probabilistic systems with faulty communication
• scientific article; zbMATH DE number 1759620 (Why is no real title available?)

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 Q4449237)