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
  
• Jon G. Riecke, Christopher A. Stone:
  Privacy via Subsumption. 2-28
  
• Martin Hofmann, Benjamin C. Pierce:
  Type Destructors. 29-62
  
• Uday S. Reddy:
  Objects and Classes in Algol-Like Languages. 63-97
  

Volume 172, Number 2, January 2002

• Detlef Sieling:
  The Nonapproximability of OBDD Minimization. 103-138
  
• Michele Boreale, Rocco De Nicola, Rosario Pugliese:
  Trace and Testing Equivalence on Asynchronous Processes. 139-164
  
• 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
  
• Juraj Hromkovic, Sebastian Seibert, Juhani Karhumäki, Hartmut Klauck, Georg Schnitger:
  Communication Complexity Method for Measuring Nondeterminism in Finite Automata. 202-217