Abstract is missing.
- Research Issues in Ubiquitous ComputingAlan J. Demers. 2-8
- Multimedia Networking: Applications and ChallengesInder S. Gopal. 9-12
- ReconciliationsJohn H. Howard, Shmuel Katz. 14-21
- Repeatable and Portable Message-Passing ProgramsRobert Cypher, Eric Leu. 22-31
- Making Operations of Concurrent Data Types FastMartha J. Kosa. 32-41
- Delimiting the Power of Bounded Size Synchronization Objects (Extended Abstract)Yehuda Afek, Gideon Stupp. 42-51
- Wait-Freedom vs. Bounded Wait-Freedom in Public Data Structures (Extended Abstract)Hagit Brit, Shlomo Moran. 52-60
- Contention-free Complexity of Shared Memory AlgorithmsRajeev Alur, Gadi Taubenfeld. 61-70
- Using Belief to Reason about Cache CoherenceLily B. Mummert, Jeannette M. Wing, Mahadev Satyanarayanan. 71-80
- Open Systems in TLAMartín Abadi, Leslie Lamport. 81-90
- ENF Event Predicate Detection in Distributed SystemsHsien-Kuang Chiou, Willard Korfhage. 91-100
- Mixed Consistency: A Model for Parallel Programming (Extended Abstract)Divyakant Agrawal, Manhoi Choy, Hong Va Leong, Ambuj K. Singh. 101-110
- Global Flush Communication Primitive for Inter-process CommunicationAshwani Gahlot, Mohan Ahuja, Timothy Carlson. 111-120
- A Checkpoint Protocol for an Entry Consistent Shared Memory SystemNuno Neves, Miguel Castro, Paulo Guedes. 121-129
- A Performance Evaluation of Lock-Free Synchronization ProtocolsAnthony LaMarca. 130-140
- Using k-Exclusion to Implement Resilient, Scalable Shared Objects (Extended Abstract)James H. Anderson, Mark Moir. 141-150
- Disjoint-Access-Parallel Implementations of Strong Shared Memory PrimitivesAmos Israeli, Lihu Rappoport. 151-160
- Time-Optimal Message-Efficient Work Performance in the Presence of Faults (Extended Summary)Roberto De Prisco, Alain J. Mayer, Moti Yung. 161-172
- Resilience of General Interactive TasksBenny Chor, Lee-Bath Nelson. 173-182
- Coins, Weights and Contention in Balancing NetworksWilliam Aiello, Ramarathnam Venkatesan, Moti Yung. 193-205
- A Combinatorial Treatment of Balancing NetworksCostas Busch, Marios Mavronicolas. 206-215
- Potential Function Analysis of Greedy Hot-Potato RoutingAmir Ben-Dor, Shai Halevi, Assaf Schuster. 225-234
- The Virtual Path Layout Problem in Fast Networks (Extended Abstract)Ornan Ori Gerstel, Shmuel Zaks. 235-243
- Self-Stabilization by Counter FlushingGeorge Varghese. 244-253
- Memory-Efficient and Self-Stabilizing Network {RESET} (Extended Abstract)Baruch Awerbuch, Rafail Ostrovsky. 254-263
- Adaptive Algorithms for PASO SystemsJeffery Westbrook, Lenore D. Zuck. 264-273
- Uniform Actions in Asynchronous Distributed Systems (Extended Abstract)Dalia Malki, Kenneth P. Birman, Aleta Ricciardi, André Schiper. 274-283
- Observable Clock Synchronization (Extended Abstract)Danny Dolev, Rüdiger Reischuk, H. Raymond Strong. 284-293
- A Formally Verifiable Algorithm for Clock Synchronization under a Hybrid Fault ModelJohn M. Rushby. 304-313
- Proving Time Bounds for Randomized Distributed AlgorithmsNancy A. Lynch, Isaac Saias, Roberto Segala. 314-323
- Set Consensus Using Arbitrary Objects (Preliminary Version)Maurice Herlihy, Sergio Rajsbaum. 324-333
- Wait-Freedom vs. t-Resiliency and the Robustness of Wait-Free HierarchiesTushar Deepak Chandra, Vassos Hadzilacos, Prasad Jayanti, Sam Toueg. 334-343
- A Gap Theorem for Consensus Types (Extended Abstract)Rida A. Bazzi, Gary L. Peterson. 344-353
- On the Use of Registers in Achieving Wait-Free ConsensusRida A. Bazzi, Gary L. Peterson. 354-362
- Consensus Power Makes (Some) Sense! (Extended Abstract)Elizabeth Borowsky, Eli Gafni, Yehuda Afek. 363-372
- Self-Stabilizing Algorithms for Finding Centers and Medians of TreesMehmet Hakan Karaata, Sriram V. Pemmaraju, Steven C. Bruell, Sukumar Ghosh. 374
- Leader Election in the Presence of Link Failures (Abstract)Gurdip Singh. 375
- On the Coding of Dependencies in Distributed Computations (Abstract)Claude Jard, Guy-Vincent Jourdan. 377
- Probabilistic Self-Stabilizing Mutual Exclusion in Uniform RingsJoffroy Beauquier, Sylvie Delaët. 378
- The Impact of Synchronization on the Session ProblemMarios Mavronicolas. 379
- A Fault-Tolerant Dynamic Resource Allocation Algorithm (Short Abstract)Injong Rhee. 380
- Implementation of Authenticated Communication Based on Hierarchy-Relative Naming SchemeNobuhisa Fujinami. 381
- Derivation of Fault Tolerance Properties of Distributed AlgorithmsPhilippe Quéinnec, Gérard Padiou. 382
- Towards a Minimal Object-Oriented Language for Distributed and Concurrent ProgrammingMatthias Radestock, Susan Eisenbach. 383
- CoLa: A Coordination Language for Massive ParallelismBéat Hirsbrunner, Marc Aguilar, Oliver Krone. 384
- Dynamic Load Sharing Algorithm with a Weighted Load RepresentationSeung Ho Cho, Sang-Yong Han. 385
- Controlling Real-Time Asynchronous Tasks with ESTEREL Synchronous LanguageMartin Adelantado, Frédéric Boniol. 387
- Consistency and Conformance in ODP (Abstract)Howard Bowman, John Derrick. 388
- XMP++: An Object-Oriented Solution for Hiding the Complexity of Network Management ProtocolsSakari Rahkila, Susanne Stenberg. 389
- A Compositional Verification Method for LOTOSHacène Fouchal, Ana R. Cavalli. 390
- Verification of a Distributed Algorithm (Abstract)Kaisa Sere, Marina A. Waldén. 391
- The Formal Verification of an ATM NetworkPaul Curzon. 392
- A Verification Method Based on Homomorphic Model Abstractions (Abstract)Ulrich Nitsche. 393
- Modelling Garbage Collection Algorithms Using CCS and Temporal Logic (Abstract)Howard Bowman, John Derrick, Richard E. Jones. 394
- Set-LinearizabilityGil Neiger. 396
- Dynamic Sets for SearchDavid C. Steere, Mahadev Satyanarayanan, Jeannette M. Wing. 397
- Competitiveness in Distributed AlgorithmsMiklós Ajtai, James Aspnes, Cynthia Dwork, Orli Waarts. 398
- Simulating Fail-Stop in Asynchronous Distributed SystemsLaura S. Sabel, Keith Marzullo. 399
- PCODE: Efficient Parallel Computing over Distributed EnvironmentsJehoshua Bruck, Danny Dolev, Ching-Tien Ho, Rimon Orni, H. Raymond Strong. 400
- On the Memory Overhead of Distributed SnapshotsLior Shabtay, Adrian Segall. 401
- Adaptive Video on DemandSudhanshu Aggarwal, Juan A. Garay, Amir Herzberg. 402
- Distributed Pursuit-Evasion: Some Aspects of Privacy and Security in Distributed ComputingPaul G. Spirakis, Basil Tampakas. 403
- Contention in Counting NetworksCostas Busch, Nikos Hardavellas, Marios Mavronicolas. 404