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
  Electronic Edition (link) BibTeX
• Joe Hurd:
  Verification of the Miller-Rabin probabilistic primality test. 3-21
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX
• Peter Buchholz, Joost-Pieter Katoen, Peter Kemper, Carsten Tepper:
  Model-checking large structured Markov chains. 69-97
  Electronic Edition (link) BibTeX
• Josee Desharnais, Prakash Panangaden:
  Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. 99-115
  Electronic Edition (link) BibTeX
• Manuel Núñez:
  Algebraic theory of probabilistic processes. 117-177
  Electronic Edition (link) BibTeX