Volume 5,
1991
- Bruce Hajek:
Bounds on Evacuation Time for Deflection Routing.
1-6 BibTeX
- Christian Lengauer, Michael Barnett, Duncan G. Hudson III:
Towards Systolizing Compilation.
7-24 BibTeX
- Jan K. Pachl:
Analysis of Toggle Protocols.
25-35 BibTeX
- Paritosh K. Pandya, Mathai Joseph:
P - A Logic - A Compositional Proof System for Distributed Programs.
37-54 BibTeX
- Hussein M. Alnuweiri, Viktor K. Prasanna:
Optimal Geometric Algorithms for Digitized Images on Fixed-Size Linear Arrays and Scan-Line Arrays.
55-65 BibTeX
- 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 BibTeX
- Joseph Y. Halpern, Ichiro Suzuki:
Clock Synchronization and the Power of Broadcasting.
73-82 BibTeX
- Karen Paliwoda, Jeff W. Sanders:
An Incremental Specification of the Sliding-Window Protocol.
83-94 BibTeX
- Jan Peleska:
Design and Verification of Fault Tolerant Systems with CSP.
95-106 BibTeX
- Jo C. Ebergen:
A Formal Approach to Designing Delay-Insensitive Circuits.
107-119 BibTeX
- Oded Goldreich, Liuba Shrira:
On the Complexity of Computation in the Presence of Link Failures: The Case of a Ring.
121-131 BibTeX
- Björn Lisper:
Computing Transitive Closure on Systolic Arrays of Fixed Size.
133-144 BibTeX
- Gilbert M. Lundy, Raimond E. Miller:
Specification and Analysis of a Data Transfer Protocol Using Systems of Communicating Machines.
145-157 BibTeX
- Sigurd Meldal:
A Complete Axiomatic Semantics of Spawning.
159-174 BibTeX
Volume 5,
Number 4,
1992
Copyright © Wed Aug 20 20:19:16 2008
by Michael Ley (ley@uni-trier.de)
