Theoretical Computer Science, Volume 220

Volume 220, Number 1, June 1999

• Marcos Kawazoe Aguilera, Wei Chen, Sam Toueg:
  Using the Heartbeat Failure Detector for Quiescent Reliable Communication and Consensus in Partitionable Networks. 3-30
  Electronic Edition (link) BibTeX
• Gil Neiger, Rida A. Bazzi:
  Using Knowledge to Optimally Achieve Coordination in Distributed Systems. 31-65
  Electronic Edition (link) BibTeX
• Nancy A. Lynch, Nir Shavit, Alexander A. Shvartsman, Dan Touitou:
  Timing Conditions for Linearizability in Uniform Counting Networks. 67-91
  Electronic Edition (link) BibTeX
• Shay Kutten, Boaz Patt-Shamir:
  Stabilizing Time-Adaptive Protocols. 93-111
  Electronic Edition (link) BibTeX
• Alan Fekete, David Gupta, Victor Luchangco, Nancy A. Lynch, Alexander A. Shvartsman:
  Eventually-Serializable Data Services. 113-156
  Electronic Edition (link) BibTeX
• King-Shan Lui, Shmuel Zaks:
  Scheduling in Synchronous Networks and the Greedy Algorithm. 157-183
  Electronic Edition (link) BibTeX
• Amos Beimel, Matthew K. Franklin:
  Reliable Communication over Partially Authenticated Networks. 185-210
  Electronic Edition (link) BibTeX
• Soma Chaudhuri, Maurice Herlihy, Mark R. Tuttle:
  Wait-Free Implementations in Message-Passing Systems. 211-245
  Electronic Edition (link) BibTeX
• Johannes Gehrke, C. Greg Plaxton, Rajmohan Rajaraman:
  Rapid Convergence of a Local Load Balancing Algorithm for Asynchronous Rings. 247-265
  Electronic Edition (link) BibTeX
• Marios Mavronicolas, Dan Roth:
  Linearizable Read/Write Objects. 267-319
  Electronic Edition (link) BibTeX

Volume 220, Number 2, June 1999

• Andris Ambainis, Sanjay Jain, Arun Sharma:
  Ordinal Mind Change Complexity of Language Identification. 323-343
  Electronic Edition (link) BibTeX
• R. Fadel, K. V. Jakobsen, Jyrki Katajainen, Jukka Teuhola:
  Heaps and Heapsort on Secondary Storage. 345-362
  Electronic Edition (link) BibTeX
• Michael E. Houle, Ewan D. Tempero, Gavin Turner:
  Optimal Dimension-Exchange Token Distribution on Complete Binary Trees. 363-376
  Electronic Edition (link) BibTeX
• Chuchang Liu, Mehmet A. Orgun:
  Verification of Reactive Systems Using Temporal Logic with Clocks. 377-408
  Electronic Edition (link) BibTeX
• Ian A. Mason, Carolyn L. Talcott:
  Actor Languages Their Syntax, Semantics, Translation, and Equivalence. 409-467
  Electronic Edition (link) BibTeX
• Alan Roberts, Antonios Symvonis:
  On-Line Matching Routing on Trees. 469-488
  Electronic Edition (link) BibTeX
• Yan Zhang:
  Specifying Causality in Action Theories: A Default Logic Approach. 489-513
  Electronic Edition (link) BibTeX