Table of Contents

• Disk Cache Replacement Policies for Network FileserversDarryl L. Willick, Derek L. Eager, Richard B. Bunt. 2-11
• A Subsystem for Swapping and Mapped File I/O on Top of CHORUSLothar Borrmann, Soufiane Noureddine. 12-19
• Distributed Shared Repository: A Unified Approach to Distribution and PersistencyKazuhiko Kato, Atsunobu Narita, Shigekazu Inohara, Takashi Masuda. 20-29
• Distributed Application Framework for Large Scale Distributed SystemsHerman C. Rao. 31-38
• Laura: A Coordination Language for Open Distributed SystemsRobert Tolksdorf. 39-46
• A General Architecture for Load Balancing in a Distributed-Memory EnvironmentHiroshi Nishikawa, Peter Steenkiste. 47-54
• Distributed Modeling and Implementation of High Performance Communication ArchitecturesKeith Shafer, Mohan Ahuja. 56-65
• Extraction of Logical Concurrency in Distributed ApplicationsK. Ravindran, A. Thenmozhi. 66-73
• K-Coteries for Fault-Tolerant K Entries to a Critical SectionShing-Tsaan Huang, Jehn-Ruey Jiang, Yu-Chen Kuo. 74-81
• Coherence in Naming in Distributed Computing EnvironmentsSanjay R. Radia, Jan K. Pachl. 83-92
• Structuring Distributed Shared Memory with the pi ArchitectureDinesh C. Kulkarni, Arindam Banerji, Michael R. Casey, David L. Cohn. 93-100
• Dynamic Reconfiguration in Distributed Systems: Adapting Software Modules for ReplacementChristine Hofmeister, James M. Purtilo. 101-110
• Evaluating Caching Schemes for the X.500 Directory SystemJean-Chrysostome Bolot, Hossam Afifi. 112-119
• Distributed Active Catalogs and Meta-Data Caching in Descriptive Name ServicesJoann J. Ordille, Barton P. Miller. 120-129
• Using Group Communication to Implement a Fault-Tolerant Directory ServiceM. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep. 130-139
• Deriving Protocol Specifications from Service Specifications in Extended FSM ModelsTeruo Higashino, Kozo Okano, Hiroshi Imajo, Kenichi Taniguchi. 141-148
• A Formal Assessment of Synchronous Testability for Communicating SystemsKhalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali. 149-156
• Diagnosis of Single Transition Faults in Communicating Finite State MachinesAbderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli. 157-166
• An Open Commit Protocol Preserving Consistency in the Presence of Commission FailuresKurt Rothermel. 168-177
• A Performance Study of General Grid Structures for Replicated DataAkhil Kumar, Michael Rabinovich, Rakesh K. Sinha. 178-185
• Sharing Complex Objects in a Distributed PEER EnvironmentFrank Tuijnman, Hamideh Afsarmanesh. 186-194
• An Algorithm for Distributed Groupware ApplicationsAlain Karsenty, Michel Beaudouin-Lafon. 195-202
• Collective Learning of Action SequencesGerhard Weiß. 203-209
• Development of a Collaborative Application in CSDLFlavio De Paoli, Francesco Tisato. 210-217
• Reconfiguration of Spanning Trees in Networks in the Presence of Node FailuresK. Ravindran, Gurdip Singh, P. Gupta. 219-226
• General Structured Voting: A Flexible Framework for Modelling CooperationsOliver E. Theel. 227-236
• Degradable Agreement in the Presence of Byzantine FaultsNitin H. Vaidya, Dhiraj K. Pradhan. 237-244
• Hardware Assist for Distributed Shared MemoryAndrew W. Wilson Jr., Richard P. LaRowe Jr., Marc J. Teller. 246-255
• Event Ordering in a Shared Memory Distributed SystemL. Gunaseelan, Richard J. LeBlanc. 256-263
• Practical Considerations for Non-Blocking Concurrent ObjectsBrian N. Bershad. 264-273
• Inter-Machine Protocols for Electronic LibrariesH. M. Gladney. 275-282
• Proxy-Based Authorization and Accounting for Distributed SystemsB. Clifford Neuman. 283-291
• Delivering Multicast Messages in Networks with Mobile HostsArup Acharya, B. R. Badrinath. 292-299
• Evaluation of Closely Coupled Systems for High Performance Database ProcessingErhard Rahm. 301-310
• Analysis of Multicast-Based Object Replication Strategies in Distributed SystemsAndrzej Duda. 311-318
• Failure Evaluation of Disk Array OrganizationsJohn A. Chandy, A. L. Narasimha Reddy. 319-326
• Providing Performance Guarantees in an FDDI NetworkDarrell D. E. Long, Carol Osterbrock, Luis-Felipe Cabrera. 328-336
• Responsive Aperiodic Services in High-Speed NetworksShirish S. Sathaye, William S. Kish, Jay K. Strosnider. 337-346
• Real-Time Schedulability of Two Token Ring ProtocolsSanjay Kamat, Wei Zhao. 347-354
• Decentralized Consensus Protocols with Multi-Port CommunicationMing-Syan Chen, Philip S. Yu, Kun-Lung Wu. 356-365
• Termination Detection in a Very General Distributed Computing ModelJerzy Brzezinski, Jean-Michel Hélary, Michel Raynal. 374-381
• Asynchronous Event Handling in Distributed Object-Based SystemsSathis Menon, Partha Dasgupta, Richard J. LeBlanc. 383-390
• Composition of Concurrent ProgramsAjei S. Gopal, Kenneth J. Perry. 391-398
• Distribution and Inheritance in the HERON Approach to Heterogeneous ComputingSabine Finke, Peter Jahn, Olaf Langmack, Klaus-Peter Löhr, Irina Piens, Thomas Wolff. 399-408
• Deadlock Prevention in the RTC Programming System for Distributed Real-Time ApplicationsVictor Fay Wolfe, Susan B. Davidson, Insup Lee. 420-427
• Deadline Assignment in a Distributed Soft Real-Time SystemBen Kao, Hector Garcia-Molina. 428-437
• IPL: A Multidatabase Transaction Specification LanguageJiansan Chen, Omran A. Bukhres, Ahmed K. Elmagarmid. 439-448
• Distributed Divergence Control for Epsilon SerializabilityCalton Pu, Wenwey Hseush, Gail E. Kaiser, Kun-Lung Wu, Philip S. Yu. 449-456
• Supporting Reliable and Atomic Transaction Management in Multidatabase SystemsIwen E. Kang, Thomas F. Keefe. 457-464
• Approximate Analysis of Priority Scheduling Systems Using Stochastic Reward NetsVarsha Mainkar, Kishor S. Trivedi. 466-473
• Average Message Overhead of Replica Control ProtocolsDebanjan Saha, Sampath Rangarajan, Satish K. Tripathi. 474-481
• A State-Aggregation Method for Analyzing Dynamic Load-Balancing PoliciesHwa-Chun Lin, C. S. Raghavendra. 482-489
• Maintaining Information about Persistent Replicated Objects in a Distributed SystemMark C. Little, Daniel L. McCue, Santosh K. Shrivastava. 491-498
• Replicated RPC Using Amoeba Closed Group CommunicationsMark D. Wood. 499-507
• Intelligent Job Selection for Distributed SchedulingChang-Jia Wang, Phillip Krueger, Ming T. Liu. 517-524
• Performance of Co-Scheduling on a Network of WorkstationsKemal Efe, Margaret A. Schaar. 525-531
• Scheduling Cooperative Work: Viewing Distributed Systems as Both CSP and SCLTzilla Elrad, Kumar Nambi. 532-539
• A Low-level Processor Group Membership Protocol for LANSLuís Rodrigues, Paulo Veríssimo, José Rufino. 541-550
• Fast Message Ordering and Membership Using a Logical Token-Passing RingYair Amir, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal, P. Ciarfella. 551-560
• Uniform Reliable Multicast in a Virtually Synchronous EnvironmentAndré Schiper, Alain Sandoz. 561-568