Journal of Logic and Algebraic Programming, Volume 56

Volume 56, Number 1-2, May - August 2003

• Pedro R. D'Argenio, Jos C. M. Baeten:
  Guest editors' introduction: Special issue on Probabilistic Techniques for the Design and Analysis of Systems. 1-2
  
• Joe Hurd:
  Verification of the Miller-Rabin probabilistic primality test. 3-21
  
• Holger Hermanns, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Markus Siegle:
  On the use of MTBDDs for performability analysis and verification of stochastic systems. 23-67
  
• Peter Buchholz, Joost-Pieter Katoen, Peter Kemper, Carsten Tepper:
  Model-checking large structured Markov chains. 69-97
  
• Josee Desharnais, Prakash Panangaden:
  Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. 99-115
  
• Manuel Núñez:
  Algebraic theory of probabilistic processes. 117-177
  

Last update Mon May 20 01:18:31 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page