Validation of stochastic systems. A guide to current research.
type: Item
instance of: scholarly article
title: Validation of stochastic systems. A guide to current research.
zbMATH Open document ID: 1047.68001
published in: Lecture Notes in Computer Science
publication date: 2004-10-19T00:00:00Z
review text: The articles of this volume will be reviewed individually. Indexed articles: \textit{Sokolova, Ana; de Vink, Erik P.}, Probabilistic automata: System types, parallel composition and comparison, 1-43 [Zbl 1203.68089] \textit{Bravetti, Mario; D'Argenio, Pedro R.}, Tutte le algebre insieme: Concepts, discussions and relations of stochastic process algebras with general distributions, 44-88 [Zbl 1203.68113] \textit{López, Natalia; Núñez, Manuel}, An overview of probabilistic process algebras and their equivalences, 89-123 [Zbl 1203.68115] \textit{Bollig, Benedikt; Leucker, Martin}, Verifying qualitative properties of probabilistic programs, 124-146 [Zbl 1203.68094] \textit{Ciesinski, Frank; Größer, Marcus}, On probabilistic computation tree logic, 147-188 [Zbl 1203.68096] \textit{Sproston, Jeremy}, Model checking for probabilistic timed systems, 189-229 [Zbl 1203.68102] \textit{Mehmood, Rashid}, Serial disk-based analysis of large stochastic models, 230-255 [Zbl 1203.68028] \textit{Buchholz, Peter; Kemper, Peter}, Kronecker based matrix representations for large Markov models, 256-295 [Zbl 1203.68116] \textit{Miner, Andrew; Parker, David}, Symbolic representations and analysis of large probabilistic systems, 296-338 [Zbl 1203.68117] \textit{Kuntz, Matthias; Lampka, Kai}, Probabilistic methods in state space analysis, 339-383 [Zbl 1203.68100] \textit{Norman, Gethin}, Analysing randomized distributed algorithms, 384-418 [Zbl 1203.68326] \textit{Huth, Michael}, An abstraction framework for mixed non-deterministic and probabilistic systems, 419-444 [Zbl 1203.68099] \textit{Schnoebelen, Philippe}, The verification of probabilistic lossy channel systems, 445-465 [Zbl 1203.68101]
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Q87
Mathematics Subject Classification ID: 00B15
zbMATH DE Number: 2108930
MaRDI profile type: Publication
full work available at URL: b98484
OpenAlex ID: W657718082
DOI: 10.1007/B98484
description: scientific article; zbMATH DE number 2108930