Proceedings of the 1st international workshop on Probabilistic methods in verification (PROBMIV '98), Indianapolis, IN, USA, June 19--20, 1998 (satellite event to the 13th international IEEE symposium on Logic in computer science, LICS '98) (Q1294792)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Panangaden, Prakash}, The category of Markov kernels, Electronic paper No. 2, [Zbl 0920.68067] \textit{Segala, Roberto}, The essence of coin lemmas, Electronic paper No. 3, [Zbl 0920.68053] \textit{Baier, Christel; Clarke, Edmund M.; Hartonas-Garmhausen, Vasiliki}, On the semantic foundations of probabilistic synchronous reactive programs, Electronic paper No. 4, [Zbl 0943.68107] \textit{Baier, Christel; Kwiatkowska, Marta; Norman, Gethin}, Computing probability bounds for linear time formulas over concurrent probabilistic systems, Electronic paper No. 5, [Zbl 0920.68084] \textit{D'Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter}, On generative parallel composition, Electronic paper No. 6, [Zbl 0920.68078] \textit{de Alfaro, Luca}, From fairness to chance, Electronic paper No. 7, [Zbl 0920.68075] \textit{den Hartog, J. J.; de Vink, E. P.}, Mixing up nondeterminism and probability: a preliminary report, Electronic paper No. 8, [Zbl 0920.68050] \textit{Gregorio-Rodríguez, Carlos; Nuñez, Manuel}, Denotational semantics for probabilistic refusal testing, Electronic paper No. 9, [Zbl 0920.68066] \textit{McIver, Annabelle K.}, Reasoning about efficiency within a probabilistic \(\mu\)-calculus, Electronic paper No. 10, [Zbl 0920.68080] \textit{Meinel, Christoph; Sack, Harald}, Parity-OBDDs -- aBDD structure for probabilistic verification, Electronic paper No. 11, [Zbl 0920.68079]