Distributed 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
Last update Mon May 20 00:50:22 2013 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page