Chicago Journal of Theoretical Computer Science, 2002

Volume 2002, 2002

• Joffroy Beauquier, Ajoy Kumar Datta, Maria Gradinariu, Frédéric Magniette:
  Self-Stabilizing Local Mutual Exclusion and Daemon Refinement.
  Electronic Edition (link) BibTeX
• Vikraman Arvind, K. V. Subrahmanyam, N. V. Vinodchandran:
  The Query Complexity of Program Checking by Constant-Depth Circuits.
  Electronic Edition (link) BibTeX