Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDistributed 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
a service of 
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 2024-04-19 20:14 CEST 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:
