Information and Computation, Volume 203

Volume 203, Number 1, 25 November 2005

• Pedro R. D'Argenio, Joost-Pieter Katoen:
  A theory of stochastic systems part I: Stochastic automata. 1-38
  Electronic Edition (link) BibTeX
• Pedro R. D'Argenio, Joost-Pieter Katoen:
  A theory of Stochastic systems. Part II: Process algebra. 39-74
  Electronic Edition (link) BibTeX
• Denis Lugiez, Ph. Schnoebelen:
  Decidable first-order transition logics for PA-processes. 75-113
  Electronic Edition (link) BibTeX

Volume 203, Number 2, 15 December 2005

• Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns:
  Axiomatising divergence. 115-144
  Electronic Edition (link) BibTeX
• Farid M. Ablayev, Aida Gainutdinova, Marek Karpinski, Cristopher Moore, Chris Pollett:
  On the computational power of probabilistic and quantum branching program. 145-162
  Electronic Edition (link) BibTeX
• Lane A. Hemaspaandra, Proshanto Mukherji, Till Tantau:
  Context-free languages can be accepted with absolutely no space overhead. 163-180
  Electronic Edition (link) BibTeX
• Dariusz R. Kowalski, Alexander A. Shvartsman:
  Performing work with asynchronous processors: Message-delay-sensitive bounds. 181-210
  Electronic Edition (link) BibTeX
• Steffen Lange, Sandra Zilles:
  Relations between Gold-style learning and query learning. 211-237
  Electronic Edition (link) BibTeX