default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDistributed Computing, Volume 1
Volume 1, Number 1, 1986
- Edsger W. Dijkstra:
A Belated Proof of Self-Stabilization. 5-6 - Van Nguyen, Alan J. Demers, David Gries
, Susan S. Owicki:
A Model and Temporal Proof System for Networks of Processes. 7-25 - Michael J. Fischer, Nancy A. Lynch, Michael Merritt:
Easy Impossibility Proofs for Distributed Consensus Problems. 26-39 - K. Mani Chandy, Jayadev Misra:
How Processes Learn. 40-52 - Amir Pnueli, Lenore D. Zuck:
Verification of Multiprocess Probabilistic Protocols. 53-72
Volume 1, Number 2, 1986
- Leslie Lamport:
On Interprocess Communication. Part I: Basic Formalism. 77-85 - Leslie Lamport:
On Interprocess Communication. Part II: Algorithms. 86-101 - Barbara Liskov, William E. Weihl:
Specifications of Distributed Programs. 102-118 - Daniel Barbará, Hector Garcia-Molina:
Mutual Exclusion in Partitioned Distributed Systems. 119-132
Volume 1, Number 3, 1986
- Gregory R. Andrews, Ronald A. Olsson:
The Evolution of the SR Language. 133-149 - Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra:
Compiling Path Expressions Into VLSI Circuits. 150-166 - Yoram Moses, Danny Dolev, Joseph Y. Halpern:
Cheating Husbands and other Stories: A Case Study of Knowledge, Action, and Communication. 167-176 - K. Mani Chandy, Jayadev Misra:
Systolic Algorithms as Programs. 177-183
Volume 1, Number 4, 1986
- Edmund M. Clarke:
Distributed Computing Issues in Hardware Design. 185-186 - William J. Dally, Charles L. Seitz:
The Torus Routing Chip. 187-196 - Jan Tijmen Udding:
A Formal Model for Defining and Classifying Delay-Insensitive Circuits and Systems. 197-204 - David L. Black:
On the Existence of Delay-Insensitive Fair Arbiters: Trace Theory and its Limitations. 205-225 - Alain J. Martin:
Compiling Communicating Processes Into Delay-Insensitive VLSI Circuits. 226-234 - Robert M. Keller, Prakash Panangaden:
Semantics of Digital Networks Containing Indeterminate Modules. 235-245 - H. T. Kung, Jon A. Webb:
Mapping Image Processing Operations onto a Linear Systolic Machine. 246-257
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
