Articles

Search all Distributed Computing articles

Filter by

Volume:

Sort by

Date published:

New to old Old to new

Showing 801-817 of 817 articles

Distributed computing issues in hardware design
Edmund M. Clarke
Editorial Pages: 185 - 186
Systolic algorithms as programs
K. Mani Chandy
J. Misra
OriginalPaper Pages: 177 - 183
Cheating husbands and other stories: A case study of knowledge, action, and communication
Yoram Moses
Danny Dolev
Joseph Y. Halpern
OriginalPaper Pages: 167 - 176
Compiling path expressions into VLSI circuits
T. S. Anantharaman
E. M. Clarke
B. Mishra
OriginalPaper Pages: 150 - 166
The evolution of the SR language
Gregory R. Andrews
Ronald A. Olsson
OriginalPaper Pages: 133 - 149
Mutual exclusion in partitioned distributed systems
Daniel Barbara
Hector Garcia-Molina
OriginalPaper Pages: 119 - 132
Specifications of distributed programs
Barbara Liskov
William Weihl
OriginalPaper Pages: 102 - 118
On interprocess communication
Leslie Lamport
OriginalPaper Pages: 86 - 101
On interprocess communication
Leslie Lamport
OriginalPaper Pages: 77 - 85
Calendar of events

Events Pages: 73 - 74
Verification of multiprocess probabilistic protocols
Amir Pnueli
Lenore Zuck
OriginalPaper Pages: 53 - 72
How processes learn
K. M. Chandy
Jayadev Misra
OriginalPaper Pages: 40 - 52
Easy impossibility proofs for distributed consensus problems
Michael J. Fischer
Nancy A. Lynch
Michael Merritt
OriginalPaper Pages: 26 - 39
A model and temporal proof system for networks of processes
Van Nguyen
Alan Demers
Susan Owicki
OriginalPaper Pages: 7 - 25
A belated proof of self-stabilization
Edsger W. Dijkstra
OriginalPaper Pages: 5 - 6
A new journal is born
Mohamed G. Gouda
OriginalPaper Pages: 3 - 4
Preface
C. A. R. Hoare
EditorialNotes Pages: 1 - 1

Articles

Search

Navigation