Volume 5,
1991
- Bruce 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, Raimond 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
Copyright © Fri Dec 18 18:47:44 2009
by Michael Ley (ley@uni-trier.de)
