Distributed Computing, Volume 3

Volume 3, Number 1, 1988

• Tom Verhoeff: Delay-Insensitive Codes - an Overview. 1-8
• Mark B. Josephs: A State-Based Approach to Communicating Processes. 9-18
• Mee Yee Chan, Francis Y. L. Chin: Distributed Election in Complete Networks. 19-22
• Huai-An Lin: A Methodology for Constructing Communication Protocols with Multiple Concurrent Functions. 23-40
• Carl Pixley: An Incremental Garbage Collection Algorithm for Multi-Mutator Systems. 41-50

Volume 3, Number 2, 1989

• Douglas Comer, Larry L. Peterson: Understanding Naming in Distributed Systems. 51-60
• Amotz Bar-Noy, Michael Ben-Or, Danny Dolev: Choice Coordination with Limited Failure. 61-72
• Ralph-Johan Back, Reino Kurki-Suonio: Decentralization of Process Nets with Centralized Control. 73-87
• Sanjay V. Rajopadhye: Synthesizing Systolic Arrays with Control Signals from Recurrence Equations. 88-105

Volume 3, Number 3, 1989

• Karl R. Abrahamson, Andrew Adler, Lisa Higham, David G. Kirkpatrick: Randomized Function Evaluation on a Ring. 107-117
• Nicholas F. Maxemchuk, Krishan K. Sabnani: Probabilistic Verification of Communication Protocols. 118-129
• John-Jules Ch. Meyer, Erik P. de Vink: Step Semantics for "True" Concurrency with Recursion. 130-145
• Flaviu Cristian: Probabilistic Clock Synchronization. 146-158

Volume 3, Number 4, 1989

• Joseph Y. Halpern, Ronald Fagin: Modelling Knowledge and Action in Distributed Systems. 159-177
• Peter A. J. Hilbers, Johan J. Lukkien: Deadlock-Free Message Routing in Multicomputer Networks. 178-186
• Pankaj Jalote: Fault Tolerant Processes. 187-195
• Janice I. Glasgow, Glenn H. MacEwen: An Operator Net Model for Distributed Systems. 196-209