2. PODC 1983: Montreal, Quebec, Canada
Robert L. Probert, Nancy A. Lynch, Nicola Santoro (Eds.): Proceedings of the Second Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Montreal, Quebec, Canada, August 17-19, 1983. ACM 1983 ISBN 0-89791-110-5
Session 1
- Michael Ben-Or: Another Advantage of Free Choice: Completely Asynchronous Agreement Protocols (Extended Abstract). 27-30
Session 2
- Catriel Beeri, Philip A. Bernstein, Nathan Goodman: A Concurrency Control Theory for Nested Transactions. 45-62
- William E. Weihl: Data-dependent Concurrency Control and Recovery (Extended Abstract). 63-75
- C. Mohan, Bruce G. Lindsay: Efficient Commit Protocols for the Tree of Processes Model of Distributed Transactions. 76-88
- C. Mohan, H. Raymond Strong, Sheldon J. Finkelstein: Method for Distributed Transaction Commit and recovery Using Byzantine Agreement Within Clusters of Processors. 89-103
- Philip A. Bernstein, Nathan Goodman: The Failure and Recovery Problem for Replicated Databases. 114-122
Session 3
- Abha Moitra: Synthesis of Communicating Processes. 123-130
- Ralph-Johan Back, Reino Kurki-Suonio: Decentralization of Process Nets with Centralized Control. 131-142
- Liuba Shrira, Nissim Francez, Michael Rodeh: Distributed k-Selection: From a Sequential to a Distributed Algorithm. 143-153
- Greg N. Frederickson: Tradeoffs for Selection in Distributed Networks (Preliminary Version). 154-160
Session 4
- Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt: An Interval Logic for Higher-Level Temporal Reasoning. 173-186
- Ron Koymans, Jan Vytopil, Willem P. de Roever: Real-Time Programming and Asynchronous Message Passing. 187-197
- Paris C. Kanellakis, Scott A. Smolka: CCS Expressions, Finite State Processes, and THree Problems of Equivalence. 228-240
- Thomas W. Doeppner Jr., Alessandro Giacalone: A Formal Description of the UNIX Operating System. 241-253
Session 5
- Edward G. Coffman Jr., M. R. Garey, David S. Johnson, Andrea S. LaPaugh: Scheduling File Transfers in a Distributed Network. 254-266
- Henry Tirri: Freedom from Deadlock of Locked Transactions in a Distributed Database. 267-276
- Paul Hudak: Distributed Task and Memory Management. 277-289
- Jayadev Misra: Detecting Termination of Distributed Computations Using Markers. 290-294
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team