Validation of Stochastic Systems
From MaRDI portal
Publication:5325845
DOI10.1007/B98484zbMath1203.68101OpenAlexW657718082MaRDI QIDQ5325845
Publication date: 24 July 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98484
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (7)
Mixing Lossy and Perfect Fifo Channels ⋮ Computable fixpoints in well-structured symbolic model checking ⋮ Quantitative analysis of probabilistic lossy channel systems ⋮ An analytical model for end-to-end communication channel over PLCN based on QBDs ⋮ Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness ⋮ A note on the attractor-property of infinite-state Markov chains ⋮ \(\pi\)-calculus with noisy channels
This page was built for publication: Validation of Stochastic Systems
