Information and Computation, Volume 172

Volume 172, Number 1, January 2002

• Kim B. Bruce, Didier Rémy:
  Guest Editorial: Foundations of Object-Oriented Languages. 1
  Electronic Edition (link) BibTeX
• Jon G. Riecke, Christopher A. Stone:
  Privacy via Subsumption. 2-28
  Electronic Edition (link) BibTeX
• Martin Hofmann, Benjamin C. Pierce:
  Type Destructors. 29-62
  Electronic Edition (link) BibTeX
• Uday S. Reddy:
  Objects and Classes in Algol-Like Languages. 63-97
  Electronic Edition (link) BibTeX

Volume 172, Number 2, January 2002

• Detlef Sieling:
  The Nonapproximability of OBDD Minimization. 103-138
  Electronic Edition (link) BibTeX
• Michele Boreale, Rocco De Nicola, Rosario Pugliese:
  Trace and Testing Equivalence on Asynchronous Processes. 139-164
  Electronic Edition (link) BibTeX
• Domenico Cantone, Pietro Ursino, Eugenio G. Omodeo:
  Formative Processes with Applications to the Decision Problem in Set Theory, I. Powerset and Singleton Operators. 165-201
  Electronic Edition (link) BibTeX
• Juraj Hromkovic, Sebastian Seibert, Juhani Karhumäki, Hartmut Klauck, Georg Schnitger:
  Communication Complexity Method for Measuring Nondeterminism in Finite Automata. 202-217
  Electronic Edition (link) BibTeX