Information and Computation, Volume 173

Volume 173, Number 1, February 2002

• Oliver Pretzel:
  Finding Recursions for Multidimensional Arrays. 1-14
  Electronic Edition (link) BibTeX
• Y. Abramson, Alexander Moshe Rabinovich:
  Decidability of Split Equivalence. 15-39
  Electronic Edition (link) BibTeX
• Harry B. Hunt III, Madhav V. Marathe, Venkatesh Radhakrishnan, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns:
  Parallel Approximation Schemes for a Class of Planar and Near Planar Combinatorial Optimization Problems. 40-63
  Electronic Edition (link) BibTeX
• Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani:
  Fair Simulation. 64-81
  Electronic Edition (link) BibTeX
• Matthew Hennessy, James Riely:
  Resource Access Control in Systems of Mobile Agents. 82-120
  Electronic Edition (link) BibTeX

Volume 173, Number 2, March 2002

• Richard Beigel, Lane A. Hemaspaandra, Harald Hempel, Jörg Vogel:
  Optimal Series-Parallel Trade-offs for Reducing a Function to Its Own Graph. 123-131
  Electronic Edition (link) BibTeX
• Roberto Grossi, Andrea Pietracaprina, Geppino Pucci:
  Optimal Deterministic Protocols for Mobile Robots on a Grid. 132-142
  Electronic Edition (link) BibTeX
• David Harel, Orna Kupferman, Moshe Y. Vardi:
  On the Complexity of Verifying Concurrent Transition Systems. 143-161
  Electronic Edition (link) BibTeX
• Hagit Attiya, Alla Gorbach, Shlomo Moran:
  Computing in Totally Anonymous Asynchronous Shared Memory Systems. 162-183
  Electronic Edition (link) BibTeX
• Antonín Kucera, Richard Mayr:
  Simulation Preorder over Simple Process Algebras. 184-198
  Electronic Edition (link) BibTeX
• Cristiano Calcagno, Simon Helsen, Peter Thiemann:
  Syntactic Type Soundness Results for the Region Calculus. 199-221
  Electronic Edition (link) BibTeX
• Christopher J. Saker, Peter M. Higgins:
  Unavoidable Sets of Words of Uniform Length. 222-226
  Electronic Edition (link) BibTeX