Distributed Computing, Volume 6

Volume 6, Number 1, 1992

Fred B. Schneider: Introduction. 1-3 BibTeX
Manfred Broy: Algebraic and Functional Specification of an Interactive Serializable Database Interface. 5-18 BibTeX
Reino Kurki-Suonio: Operational Specification with Joint Actions: Serializable Databases. 19-37 BibTeX
Simon S. Lam, A. Udaya Shankar: Specifying Modules to Satisfy Interfaces: A State Transition System Approach. 39-63 BibTeX
Leslie Lamport: Critique of the Lake Arrowhead Three. 65-71 BibTeX

Prakash Panangaden, Kim Taylor: Concurrent Common Knowledge: Defining Agreement for Asynchronous Systems. 73-93 BibTeX
Ted Herman: Self-Stabilization: Randomness to Reduce Space. 95-98 BibTeX
Anne Kaldewaij, Jan Tijmen Udding: Rank Order Filters and Priority Queues. 99-105 BibTeX
Shmuel Katz, Doron Peled: Verification of Distributed Programs Using Representative Interleaving Sequences. 107-120 BibTeX
Nancy A. Lynch, Hagit Attiya: Using Mappings to Prove Timing Properties. 121-139 BibTeX

James H. Anderson: Composite Registers. 141-154 BibTeX
Reinhard Enders, Thomas Filkorn, Dirk Taubner: Generating BDDs for Symbolic Model Checking in CCS. 155-164 BibTeX
Jean Frédéric Myoupo: Mapping Dynamic Programming Onto Modular Linear Systolic Arrays. 165-179 BibTeX
Gil Neiger, Mark R. Tuttle: Common Knowledge and Consistent Simultaneous Coordination. 181-192 BibTeX
Rogério Drummond, Özalp Babaoglu: Low-Cost Clock Synchronization. 193-203 BibTeX

Amos Israeli, Ming Li: Bonded Time-Stamps. 205-209 BibTeX
Barbara Liskov: Practical Uses of Synchronized Clocks in Distributed Systems. 211-219 BibTeX
Yih-Kuen Tsay, Rajive Bagrodia: Some Impossibility Results in Interprocess Synchronization. 221-231 BibTeX
Jennifer L. Welch, Nancy A. Lynch: A Modular Drinking Philosophers Algorithm. 233-244 BibTeX
Paul C. Attie, Nissim Francez, Orna Grumberg: Fairness and Hyperfairness in Multi-Party Interactions. 245-254 BibTeX