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 - Pedro R. D'Argenio, Joost-Pieter Katoen:
A theory of Stochastic systems. Part II: Process algebra. 39-74 - Denis Lugiez, Philippe Schnoebelen:
Decidable first-order transition logics for PA-processes. 75-113
Volume 203, Number 2, 15 December 2005
- Farid M. Ablayev, Aida Gainutdinova, Marek Karpinski, Cristopher Moore, Chris Pollett:
On the computational power of probabilistic and quantum branching program. 145-162 - Lane A. Hemaspaandra, Proshanto Mukherji, Till Tantau:
Context-free languages can be accepted with absolutely no space overhead. 163-180 - Dariusz R. Kowalski, Alexander A. Shvartsman:
Performing work with asynchronous processors: Message-delay-sensitive bounds. 181-210