scientific article; zbMATH DE number 2038771
From MaRDI portal
Publication:4449237
zbMATH Open1039.68557MaRDI QIDQ4449237FDOQ4449237
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
Title of this publication is not available (Why is that?)
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
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)
Cited In (14)
- Validation of Stochastic Systems
- Title not available (Why is that?)
- An analytical model for end-to-end communication channel over PLCN based on QBDs
- CSL model checking algorithms for QBDs
- 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
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
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)
