Abstract is missing.
- The Inherent Cost of Nonblocking CommitmentCynthia Dwork, Dale Skeen. 1-11
- Resilient Consensus ProtocolsGabriel Bracha, Sam Toueg. 12-26
- Another Advantage of Free Choice: Completely Asynchronous Agreement Protocols (Extended Abstract)Michael Ben-Or. 27-30
- Synchronization and Recovery of ActionsJames E. Allchin, Martin S. McKendry. 31-44
- A Concurrency Control Theory for Nested TransactionsCatriel Beeri, Philip A. Bernstein, Nathan Goodman. 45-62
- Data-dependent Concurrency Control and Recovery (Extended Abstract)William E. Weihl. 63-75
- Efficient Commit Protocols for the Tree of Processes Model of Distributed TransactionsC. Mohan, Bruce G. Lindsay. 76-88
- Method for Distributed Transaction Commit and recovery Using Byzantine Agreement Within Clusters of ProcessorsC. Mohan, H. Raymond Strong, Sheldon J. Finkelstein. 89-103
- An Algorithm for Replicated DirectoriesDean S. Daniels, Alfred Z. Spector. 104-113
- The Failure and Recovery Problem for Replicated DatabasesPhilip A. Bernstein, Nathan Goodman. 114-122
- Synthesis of Communicating ProcessesAbha Moitra. 123-130
- Decentralization of Process Nets with Centralized ControlRalph-Johan Back, Reino Kurki-Suonio. 131-142
- Distributed k-Selection: From a Sequential to a Distributed AlgorithmLiuba Shrira, Nissim Francez, Michael Rodeh. 143-153
- Tradeoffs for Selection in Distributed Networks (Preliminary Version)Greg N. Frederickson. 154-160
- The Balanced Sorting NetworkMartin Dowd, Yehoshua Perl, Michael E. Saks. 161-172
- An Interval Logic for Higher-Level Temporal ReasoningRichard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt. 173-186
- Real-Time Programming and Asynchronous Message PassingRon Koymans, Jan Vytopil, Willem P. de Roever. 187-197
- GEM: A Tool for Concurrency Specification and VerificationAmy L. Lansky, Susan S. Owicki. 198-212
- Script: A Communication Abstraction MechanismNissim Francez, Brent Hailpern. 213-227
- CCS Expressions, Finite State Processes, and THree Problems of EquivalenceParis C. Kanellakis, Scott A. Smolka. 228-240
- A Formal Description of the UNIX Operating SystemThomas W. Doeppner Jr., Alessandro Giacalone. 241-253
- Scheduling File Transfers in a Distributed NetworkEdward G. Coffman Jr., M. R. Garey, David S. Johnson, Andrea S. LaPaugh. 254-266
- Freedom from Deadlock of Locked Transactions in a Distributed DatabaseHenry Tirri. 267-276
- Distributed Task and Memory ManagementPaul Hudak. 277-289
- Detecting Termination of Distributed Computations Using MarkersJayadev Misra. 290-294
- Maintaining the Time in a Distributed SystemKeith Marzullo, Susan S. Owicki. 295-305