| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A compositional framework for fault tolerance by specification transformation
|
Peled, Doron
|
|
1994
|
128 |
1-2 |
p. 99-125
27 p.
|
article
|
| 2 |
A semantic characterisation for faults in replicated systems
|
Krishnan, Padmanabhan
|
|
1994
|
128 |
1-2 |
p. 159-177
19 p.
|
article
|
| 3 |
A trace-based compositional proof theory for fault tolerant distributed systems
|
Schepers, Henk
|
|
1994
|
128 |
1-2 |
p. 127-157
31 p.
|
article
|
| 4 |
Author index volume 128 (1994)
|
|
|
1994
|
128 |
1-2 |
p. 257-
1 p.
|
article
|
| 5 |
Clock construction in fully asynchronous parallel systems and PRAM simulation
|
Aumann, Yonatan
|
|
1994
|
128 |
1-2 |
p. 3-30
28 p.
|
article
|
| 6 |
Contents EATCS Bulletin Number 52, February 1994
|
|
|
1994
|
128 |
1-2 |
p. 253-256
4 p.
|
article
|
| 7 |
Editorial
|
Tripathi, S.K.
|
|
1994
|
128 |
1-2 |
p. 1-2
2 p.
|
article
|
| 8 |
Editorial Board
|
|
|
1994
|
128 |
1-2 |
p. ii-iv
nvt p.
|
article
|
| 9 |
Guarded repair of dependable systems
|
de Meer, Hermann
|
|
1994
|
128 |
1-2 |
p. 179-210
32 p.
|
article
|
| 10 |
Markov analysis of multiple-disk prefetching strategies for external merging
|
Pai, Vinay Sadananda
|
|
1994
|
128 |
1-2 |
p. 211-239
29 p.
|
article
|
| 11 |
Methods for message routing in parallel machines
|
Leighton, Tom
|
|
1994
|
128 |
1-2 |
p. 31-62
32 p.
|
article
|
| 12 |
MOCA: a multiprocessor on-line competitive algorithm for real-time system scheduling
|
Koren, Gilad
|
|
1994
|
128 |
1-2 |
p. 75-97
23 p.
|
article
|
| 13 |
Tentative and definite distributed computations: an optimistic approach to network synchronization
|
Garofalakis, J.
|
|
1994
|
128 |
1-2 |
p. 63-74
12 p.
|
article
|
| 14 |
Tolerating faults in a mesh with a row of spare nodes
|
Bruck, Jehoshua
|
|
1994
|
128 |
1-2 |
p. 241-252
12 p.
|
article
|
Journal description