Distributed Computing, Volume 3

Volume 3, Number 1, 1988

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

Volume 3, Number 2, 1989

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

Volume 3, Number 3, 1989

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

Volume 3, Number 4, 1989

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