Distributed Computing, Volume 6

Volume 6, Number 1, 1992

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

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

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

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