PODC A*

29 papers

YearTitle / Authors
1991A Predicate Transformer Approach to Knowledge and Knowledge-Based Protocols (Extended Abstract).
Beverly A. Sanders
1991A Semantics for a Logic of Authentication (Extended Abstract).
Martín Abadi, Mark R. Tuttle
1991A Theory of Relaxed Atomicity (Extended Abstract).
Eliezer Levy, Henry F. Korth, Abraham Silberschatz
1991Bootstrap Network Resynchronization (Extended Abstract).
Yehuda Afek, Eli Gafni
1991Broadcast with Partial Knowledge (Preliminary Version).
Baruch Awerbuch, Israel Cidon, Shay Kutten, Yishay Mansour, David Peleg
1991Compact Deterministic Distributed Dictionaries (Extended Abstract).
Karni Gilon, David Peleg
1991Consensus in the Presence of Timing Uncertainty: Omission and Byzantine Failures (Extended Abstract).
Stephen Ponzio
1991Efficient Deadlock-Free Routing.
Baruch Awerbuch, Shay Kutten, David Peleg
1991Efficient Parallel Algorithms on Restartable Fail-Stop Processors.
Paris C. Kanellakis, Alexander A. Shvartsman
1991Exploiting Locality in Maintaining Potential Causality.
Sigurd Meldal, Sriram Sankar, James Vera
1991Greedy Packet Scheduling on Shortest Paths (Preliminary Version).
Yishay Mansour, Boaz Patt-Shamir
1991How to Withstand Mobile Virus Attacks (Extended Abstract).
Rafail Ostrovsky, Moti Yung
1991Inconsistency and Contamination (Preliminary Version).
Ajei S. Gopal, Sam Toueg
1991Knowledge in Shared Memory Systems (Preliminary Version).
Michael Merritt, Gadi Taubenfeld
1991Message-Optimal Protocols for Byzantine Agreement (Extended Abstract).
Vassos Hadzilacos, Joseph Y. Halpern
1991On a Random Walk Problem Arising in Self-Stabilizing Token Management.
Prasad Tetali, Peter Winkler
1991On the Value of Information in Distributed Decision-Making (Extended Abstract).
Christos H. Papadimitriou, Mihalis Yannakakis
1991Optimal Coteries.
Christos H. Papadimitriou, Martha Sideri
1991Optimal Space Distributed Move-to-Front Lists.
Michael E. Saks, Fotios Zaharoglou
1991Practical Uses of Synchronized Clocks in Distributed Systems.
Barbara Liskov
1991Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, Montreal, Quebec, Canada, August 19-21, 1991
Luigi Logrippo
1991Randomized Wait-Free Concurrent Objects (Extended Abstract).
Maurice Herlihy
1991Real-Time Sequence Transmission Problem.
Da-Wei Wang, Lenore D. Zuck
1991Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs.
Haim Gaifman, Michael J. Maher, Ehud Shapiro
1991Resiliency of Interactive Distributed Tasks (Extended Abstract).
Benny Chor, Lee-Bath Nelson
1991Resource Bounds for Self Stabilizing Message Driven Protocols.
Shlomi Dolev, Amos Israeli, Shlomo Moran
1991The Benefits of Relaxing Punctuality.
Rajeev Alur, Tomás Feder, Thomas A. Henzinger
1991Unreliable Failure Detectors for Asynchronous Systems (Preliminary Version).
Tushar Deepak Chandra, Sam Toueg
1991Using Process Groups to Implement Failure Detection in Asynchronous Environments.
Aleta Ricciardi, Kenneth P. Birman