Electronic Notes in Theoretical Computer Science, Volume 22

Volume 22, 1999

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