![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Distributed Computing, Volume 5
Volume 5, 1991
- Bruce E. Hajek:
Bounds on Evacuation Time for Deflection Routing. 1-6 - Christian Lengauer, Michael Barnett, Duncan G. Hudson III:
Towards Systolizing Compilation. 7-24 - Jan K. Pachl
:
Analysis of Toggle Protocols. 25-35 - Paritosh K. Pandya, Mathai Joseph:
P - A Logic - A Compositional Proof System for Distributed Programs. 37-54 - Hussein M. Alnuweiri, Viktor K. Prasanna:
Optimal Geometric Algorithms for Digitized Images on Fixed-Size Linear Arrays and Scan-Line Arrays. 55-65 - Reuven Bar-Yehuda, Oded Goldreich
, Alon Itai:
Efficient Emulation of Single-Hop Radio Network with Collision Detection on Multi-Hop Radio Network with no Collision Detection. 67-71 - Joseph Y. Halpern, Ichiro Suzuki:
Clock Synchronization and the Power of Broadcasting. 73-82 - Karen Paliwoda, Jeff W. Sanders:
An Incremental Specification of the Sliding-Window Protocol. 83-94 - Jan Peleska:
Design and Verification of Fault Tolerant Systems with CSP. 95-106 - Jo C. Ebergen:
A Formal Approach to Designing Delay-Insensitive Circuits. 107-119 - Oded Goldreich
, Liuba Shrira:
On the Complexity of Computation in the Presence of Link Failures: The Case of a Ring. 121-131 - Björn Lisper:
Computing Transitive Closure on Systolic Arrays of Fixed Size. 133-144 - Gilbert M. Lundy, Raymond E. Miller:
Specification and Analysis of a Data Transfer Protocol Using Systems of Communicating Machines. 145-157 - Sigurd Meldal:
A Complete Axiomatic Semantics of Spawning. 159-174
Volume 5, Number 4, 1992
- Eugene S. Amdur, Samuel M. Weber, Vassos Hadzilacos:
On the Message Complexity of Binary Byzantine Agreement under Crash Failures. 175-186 - Jan E. Jonker:
On-The-Fly Garbage Collection for Several Mutators. 187-199 - Paris C. Kanellakis, Alexander A. Shvartsman
:
Efficient Parallel Algorithms can be Made Robust. 201-217 - Yi Zhao, Farokh B. Bastani:
A Self-Adjusting Algorithm for Byzantine Agreement. 219-226
![](https://dblp.org/img/cog.dark.24x24.png)
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.