Volume 170; Issue 2

Information and Computation

Volume 170; Issue 2
1

Simplifying Subtyping Constraints: A Theory

François Pottier
Journal:
Information and Computation
Year:
2001
Language:
english
File:
PDF, 251 KB
english, 2001
2

Functorial Models for Petri Nets

Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
Journal:
Information and Computation
Year:
2001
Language:
english
File:
PDF, 251 KB
english, 2001
3

Probabilistic Quorum Systems

Dahlia Malkhi, Michael K Reiter, Avishai Wool, Rebecca N Wright
Journal:
Information and Computation
Year:
2001
Language:
english
File:
PDF, 173 KB
english, 2001
4

Delayed Information and Action in On-Line Algorithms

Susanne Albers, Moses Charikar, Michael Mitzenmacher
Journal:
Information and Computation
Year:
2001
Language:
english
File:
PDF, 128 KB
english, 2001
5

Papers to Appear in Forthcoming Issues

Journal:
Information and Computation
Year:
2001
File:
PDF, 8 KB
2001
6

Author Index for Volume 170

Journal:
Information and Computation
Year:
2001
File:
PDF, 8 KB
2001