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.
  
• Vikraman Arvind, K. V. Subrahmanyam, N. V. Vinodchandran:
  The Query Complexity of Program Checking by Constant-Depth Circuits.
  

Last update Wed Feb 15 04:29:15 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page