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
- Gil Neiger, Rida A. Bazzi:
Using Knowledge to Optimally Achieve Coordination in Distributed Systems.
31-65
- Nancy A. Lynch, Nir Shavit, Alexander A. Shvartsman, Dan Touitou:
Timing Conditions for Linearizability in Uniform Counting Networks.
67-91
- Shay Kutten, Boaz Patt-Shamir:
Stabilizing Time-Adaptive Protocols.
93-111
- Alan Fekete, David Gupta, Victor Luchangco, Nancy A. Lynch, Alexander A. Shvartsman:
Eventually-Serializable Data Services.
113-156
- King-Shan Lui, Shmuel Zaks:
Scheduling in Synchronous Networks and the Greedy Algorithm.
157-183
- Amos Beimel, Matthew K. Franklin:
Reliable Communication over Partially Authenticated Networks.
185-210
- Soma Chaudhuri, Maurice Herlihy, Mark R. Tuttle:
Wait-Free Implementations in Message-Passing Systems.
211-245
- Johannes Gehrke, C. Greg Plaxton, Rajmohan Rajaraman:
Rapid Convergence of a Local Load Balancing Algorithm for Asynchronous Rings.
247-265
- Marios Mavronicolas, Dan Roth:
Linearizable Read/Write Objects.
267-319
Volume 220,
Number 2,
June 1999
- Andris Ambainis, Sanjay Jain, Arun Sharma:
Ordinal Mind Change Complexity of Language Identification.
323-343
- R. Fadel, K. V. Jakobsen, Jyrki Katajainen, Jukka Teuhola:
Heaps and Heapsort on Secondary Storage.
345-362
- Michael E. Houle, Ewan D. Tempero, Gavin Turner:
Optimal Dimension-Exchange Token Distribution on Complete Binary Trees.
363-376
- Chuchang Liu, Mehmet A. Orgun:
Verification of Reactive Systems Using Temporal Logic with Clocks.
377-408
- Ian A. Mason, Carolyn L. Talcott:
Actor Languages Their Syntax, Semantics, Translation, and Equivalence.
409-467
- Alan Roberts, Antonios Symvonis:
On-Line Matching Routing on Trees.
469-488
- Yan Zhang:
Specifying Causality in Action Theories: A Default Logic Approach.
489-513
Copyright © Fri Mar 12 17:33:09 2010
by Michael Ley (ley@uni-trier.de)
