Volume 22, 1999

PROBMIV'98 First International Workshop on Probabilistic Methods in Verification
Indianapolis, Indiana, USA, 19-20 June 1998

• 
  Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan: Preface. 1-2
• 
  Christel Baier, Edmund M. Clarke, Vasilili Hartonas-Garmhausen: On the Semantic Foundations of Probabilistic Synchronous Reactive Programs. 3-28
• 
  Christel Baier, Marta Z. Kwiatkowska, Gethin Norman: Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems. 29
• 
  Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen: On Generative Parallel Composition. 30-54
• 
  Luca de Alfaro: From Fairness to Chance. 55-87
• 
  Jerry den Hartog, Erik P. de Vink: Mixing Up Nondeterminism and Probability: a preliminary report. 88-110
• 
  Carlos Gregorio-Rodríguez, Manuel Núñez: Denotational Semantics for Probabilistic Refusal Testing. 111-137
• 
  Annabelle McIver: Reasoning about efficiency within a probabilistic µ-calculus. 138-155
• 
  Christoph Meinel, Harald Sack: Parity-OBDDs - a BDD structure for Probabilistic Verification. 156-170
• 
  Prakash Panangaden: The Category of Markov Kernels. 171-187
• 
  Roberto Segala: The Essence of Coin Lemmas. 188-207