Abstract is missing.
- Issues in Distributed Control for ATM NetworksJonathan S. Turner. 2-16
- A Case for NOW (Networks of Workstations) - AbstractDavid A. Patterson, David E. Culler, Thomas E. Anderson. 17
- Fault-Local Distributed Mending (Extended Abstract)Shay Kutten, David Peleg. 20-27
- Sub-linear Distributed Algorithms for Sparse Certificates and Biconnected Components (Extended Abstract)Ramakrishna Thurimella. 28-37
- Distributed Dynamic Channel Allocation for Mobile ComputingRavi Prakash, Niranjan G. Shivaratri, Mukesh Singhal. 47-56
- Collecting Cyclic Distributed Garbage Using Heuristics to Control MigrationUmesh Maheshwari, Barbara Liskov. 57-63
- On Distributed Object Checkpointing and RecoveryManhoi Choy, Hong Va Leong, Man Hon Wong. 64-73
- On the Relevance of Communication Costs of Rollback-Recovery ProtocolsE. N. Elnozahy. 74-79
- A Framework for Protocol Composition in HorusRobbert van Renesse, Kenneth P. Birman, Roy Friedman, Mark Hayden, David A. Karr. 80-89
- Algebraic Spans (Preliminary Version)Maurice Herlihy, Sergio Rajsbaum. 90-99
- Failure Detectors and the Wait-Free HierarchyGil Neiger. 100-109
- More on t-Resilience vs. Wait-Freedom (Extended Abstract)Wai-Kau Lo. 110-119
- Crumbling Walls: A Class of Practical and Efficient Quorum Systems (Extended Abstract)David Peleg, Avishai Wool. 120-129
- Achieving Independence Efficiently and SecurelyRosario Gennaro. 130-136
- Lower Bounds for Convergence Function Based Clock SynchronizationChristof Fetzer, Flaviu Cristian. 137-143
- Reasoning about Meta Level Activities in Open Distributed SystemsNalini Venkatasubramanian, Carolyn L. Talcott. 144-152
- Knowledge-Based ProgramsRonald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi. 153-163
- Formal Semantics for Expressing Optimism: The Meaning of HOPECrispin Cowan, Hanan Lutfiyya. 164-173
- Formal Verification of Timed Properties for Randomized Distributed AlgorithmsAnna Pogosyants, Roberto Segala. 174-183
- Universal Constructions for Multi-Object OperationsJames H. Anderson, Mark Moir. 184-193
- Long-Lived Renaming Made FastHarry Buhrman, Juan A. Garay, Jaap-Henk Hoepman, Mark Moir. 194-203
- Software Transactional MemoryNir Shavit, Dan Touitou. 204-213
- Memory Requirement for Universal Routing SchemesPierre Fraigniaud, Cyril Gavoille. 223-230
- Optimal Distributed Algorithm for Minimum Spanning Trees RevisitedMichalis Faloutsos, Mart Molle. 231-237
- Fast Distributed Construction of k-Dominating Sets and ApplicationsShay Kutten, David Peleg. 238-249
- A Modular Measure of Competitiveness for Distributed Algorithms (Abstract)James Aspnes, Orli Waarts. 252
- Randomized Competitive Algorithms for Admission Control in General Networks (Abstract)Vaggelis Kapoulas, Paul G. Spirakis. 253
- Log-Space Polynomial End-to-End Communication (Abstract)Eyal Kushilevitz, Rafail Ostrovsky, Adi Rosén. 254
- SuperStabilizing Protocols for Dynamic Distributed Systems (Abstract)Shlomi Dolev, Ted Herman. 255
- Self-Stabilizing Clock Synchronization in the Presence of Byzantine Faults (Abstract)Shlomi Dolev, Jennifer L. Welch. 256
- Securing the Internet (Abstract)Pau-Chen Cheng, Juan A. Garay, Amir Herzberg, Hugo Krawczyk. 257
- The RAPID C++ Environment (Abstract)M. Abayan, H. Raymond Strong, Edward L. Wimmers. 258
- Architecture Decisions for Wide Area Applications (Abstract)Michael Ogg, Aleta Ricciardi. 259
- A Sequencing Service for Group Communication (Abstract)Tim Kindberg. 260
- Prediction Based Task Scheduling in Distributed Computing (Abstract)Mehrdad Samadani, Erich Kaltofen. 261
- Scheduling in Client-Server Systems (Abstract)Shikharesh Majumdar, Tom Phillips. 262
- Deriving Optimal Checkpoint Protocols for Distributed Shared Memory Architectures (Abstract)Lorenzo Alvisi, Keith Marzullo. 263
- Active Client Primary-Backup Protocols (Abstract)Parvathi Chundi, Ragini Narasimhan, Daniel J. Rosenkrantz, S. S. Ravi. 264
- A View-Based Approach to Relaxing Global Serializability in a Multidatabase System (Abstract)Evaggelia Pitoura, Aidong Zhang, Bharat K. Bhargava. 265
- Constraint-based Structuring of Distributed Protocols (Abstract)Gurdip Singh. 266
- Generalizing Fair Reachability Analysis to Protocols with Arbitrary Topology (Abstract)Hans van der Schoot, Hasan Ural. 267
- Compiling Knowledge-Based Programs (Abstract)Aamod Sane, Roy H. Campbell. 268
- A Calculus for Concurrent Update (Abstract)Gordon V. Cormack. 269
- Lazy-Writer Multivalued Registers (Abstract)Martha J. Kosa. 270
- 3-Processor Tasks Are Undecidable (Abstract)Eli Gafni, Elias Koutsoupias. 271
- Using Lock-Free Objects in Hard Real-Time Applications (Abstract)James H. Anderson, Srikanth Ramamurthy. 272
- Complete Implementations for Shared Memory Consistency Conditions (Abstract)Jerry James, Ambuj K. Singh. 273
- A Logarithmic Depth Counting Network (Abstract)Costas Busch, Marios Mavronicolas. 274