|
|
Conferences in DBLP
- Cynthia Dwork, Dale Skeen
The Inherent Cost of Nonblocking Commitment. [Citation Graph (10, 0)][DBLP]
PODC, 1983, pp:1-11 [Conf]
- Gabriel Bracha, Sam Toueg
Resilient Consensus Protocols. [Citation Graph (0, 0)][DBLP]
PODC, 1983, pp:12-26 [Conf]
- Michael Ben-Or
Another Advantage of Free Choice: Completely Asynchronous Agreement Protocols (Extended Abstract). [Citation Graph (0, 0)][DBLP]
PODC, 1983, pp:27-30 [Conf]
- James E. Allchin, Martin S. McKendry
Synchronization and Recovery of Actions. [Citation Graph (4, 0)][DBLP]
PODC, 1983, pp:31-44 [Conf]
- Catriel Beeri, Philip A. Bernstein, Nathan Goodman
A Concurrency Control Theory for Nested Transactions. [Citation Graph (19, 0)][DBLP]
PODC, 1983, pp:45-62 [Conf]
- William E. Weihl
Data-dependent Concurrency Control and Recovery (Extended Abstract). [Citation Graph (8, 0)][DBLP]
PODC, 1983, pp:63-75 [Conf]
- C. Mohan, Bruce G. Lindsay
Efficient Commit Protocols for the Tree of Processes Model of Distributed Transactions. [Citation Graph (16, 0)][DBLP]
PODC, 1983, pp:76-88 [Conf]
- C. Mohan, H. Raymond Strong, Sheldon J. Finkelstein
Method for Distributed Transaction Commit and recovery Using Byzantine Agreement Within Clusters of Processors. [Citation Graph (6, 0)][DBLP]
PODC, 1983, pp:89-103 [Conf]
- Dean S. Daniels, Alfred Z. Spector
An Algorithm for Replicated Directories. [Citation Graph (3, 0)][DBLP]
PODC, 1983, pp:104-113 [Conf]
- Philip A. Bernstein, Nathan Goodman
The Failure and Recovery Problem for Replicated Databases. [Citation Graph (19, 0)][DBLP]
PODC, 1983, pp:114-122 [Conf]
- Abha Moitra
Synthesis of Communicating Processes. [Citation Graph (0, 0)][DBLP]
PODC, 1983, pp:123-130 [Conf]
- Ralph-Johan Back, Reino Kurki-Suonio
Decentralization of Process Nets with Centralized Control. [Citation Graph (0, 0)][DBLP]
PODC, 1983, pp:131-142 [Conf]
- Liuba Shrira, Nissim Francez, Michael Rodeh
Distributed k-Selection: From a Sequential to a Distributed Algorithm. [Citation Graph (0, 0)][DBLP]
PODC, 1983, pp:143-153 [Conf]
- Greg N. Frederickson
Tradeoffs for Selection in Distributed Networks (Preliminary Version). [Citation Graph (0, 0)][DBLP]
PODC, 1983, pp:154-160 [Conf]
- Martin Dowd, Yehoshua Perl, Michael E. Saks
The Balanced Sorting Network. [Citation Graph (0, 0)][DBLP]
PODC, 1983, pp:161-172 [Conf]
- Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt
An Interval Logic for Higher-Level Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
PODC, 1983, pp:173-186 [Conf]
- Ron Koymans, Jan Vytopil, Willem P. de Roever
Real-Time Programming and Asynchronous Message Passing. [Citation Graph (0, 0)][DBLP]
PODC, 1983, pp:187-197 [Conf]
- Amy L. Lansky, Susan S. Owicki
GEM: A Tool for Concurrency Specification and Verification. [Citation Graph (0, 0)][DBLP]
PODC, 1983, pp:198-212 [Conf]
- Nissim Francez, Brent Hailpern
Script: A Communication Abstraction Mechanism. [Citation Graph (0, 0)][DBLP]
PODC, 1983, pp:213-227 [Conf]
- Paris C. Kanellakis, Scott A. Smolka
CCS Expressions, Finite State Processes, and THree Problems of Equivalence. [Citation Graph (0, 0)][DBLP]
PODC, 1983, pp:228-240 [Conf]
- Thomas W. Doeppner Jr., Alessandro Giacalone
A Formal Description of the UNIX Operating System. [Citation Graph (0, 0)][DBLP]
PODC, 1983, pp:241-253 [Conf]
- Edward G. Coffman Jr., M. R. Garey, David S. Johnson, Andrea S. LaPaugh
Scheduling File Transfers in a Distributed Network. [Citation Graph (0, 0)][DBLP]
PODC, 1983, pp:254-266 [Conf]
- Henry Tirri
Freedom from Deadlock of Locked Transactions in a Distributed Database. [Citation Graph (1, 0)][DBLP]
PODC, 1983, pp:267-276 [Conf]
- Paul Hudak
Distributed Task and Memory Management. [Citation Graph (0, 0)][DBLP]
PODC, 1983, pp:277-289 [Conf]
- Jayadev Misra
Detecting Termination of Distributed Computations Using Markers. [Citation Graph (2, 0)][DBLP]
PODC, 1983, pp:290-294 [Conf]
- Keith Marzullo, Susan S. Owicki
Maintaining the Time in a Distributed System. [Citation Graph (0, 0)][DBLP]
PODC, 1983, pp:295-305 [Conf]
|
