Information and Computation, Volume 115

Volume 115, Number 1, 1994

Moshe Y. Vardi, Pierre Wolper: Reasoning About Infinite Computations. 1-37 BibTeX
Andrew K. Wright, Matthias Felleisen: A Syntactic Approach to Type Soundness. 38-94 BibTeX
Alan David Fekete: Asynchronous Approximate Agreement. 95-124 BibTeX
Eiichi Horita, J. W. de Bakker, Jan J. M. M. Rutten: Fully Abstract Denotational Models for Nonuniform Concurrent Languages. 125-178 BibTeX

Luca Aceto, Matthew Hennessy: Adding Action Refinement to a Finite Process Algebra. 179-247 BibTeX
David Haussler, Nick Littlestone, Manfred K. Warmuth: Predicting \0,1\-Functions on Randomly Drawn Points. 248-292 BibTeX
Alain J. Mayer, Larry J. Stockmeyer: Word Problems-This Time with Interleaving. 293-311 BibTeX
Eli Upfal: Tolerating a Linear Number of Faults in Networks of Bounded Degree. 312-320 BibTeX
Phokion G. Kolaitis, Madhukar N. Thakur: Logical Definability of NP Optimization Problems. 321-353 BibTeX
Jan Friso Groote, Hans Hüttel: Undecidable Equivalences for Basic Process Algebra. 354-371 BibTeX