Journal: Inf. Comput.

Volume 170, Issue 2

135 -- 152Susanne Albers, Moses Charikar, Michael Mitzenmacher. Delayed Information and Action in On-Line Algorithms
153 -- 183François Pottier. Simplifying Subtyping Constraints: A Theory
184 -- 206Dahlia Malkhi, Michael K. Reiter, Avishai Wool, Rebecca N. Wright. Probabilistic Quorum Systems
207 -- 236Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone. Functorial Models for Petri Nets

Volume 170, Issue 1

1 -- 25Markus Lohrey. Confluence Problems for Trace Rewriting Systems
26 -- 48Vladimír Glasnák. Sparse Sets and Collapse of Complexity Classes
49 -- 80Andrea Asperti, Harry G. Mairson. Parallel Beta Reduction Is Not Elementary Recursive
81 -- 94Yijie Han. Improved Fast Integer Sorting in Linear Space
95 -- 133Arend Rensink, Roberto Gorrieri. Vertical Implementation