Volume 128; Issue 1-2

Theoretical Computer Science

Volume 128; Issue 1-2
1

Editorial Board

Journal:
Theoretical Computer Science
Year:
1994
File:
PDF, 237 KB
1994
2

Editorial

S.K. Tripathi, K. Palem
Journal:
Theoretical Computer Science
Year:
1994
Language:
english
File:
PDF, 134 KB
english, 1994
3

Clock construction in fully asynchronous parallel systems and PRAM simulation

Yonatan Aumann, Michael O. Rabin
Journal:
Theoretical Computer Science
Year:
1994
Language:
english
File:
PDF, 2.13 MB
english, 1994
5

A trace-based compositional proof theory for fault tolerant distributed systems

Henk Schepers, Jozef Hooman
Journal:
Theoretical Computer Science
Year:
1994
Language:
english
File:
PDF, 2.04 MB
english, 1994
6

A semantic characterisation for faults in replicated systems

Padmanabhan Krishnan
Journal:
Theoretical Computer Science
Year:
1994
Language:
english
File:
PDF, 1.26 MB
english, 1994
7

Guarded repair of dependable systems

Hermann de Meer, Kishor S. Trivedi, Mario Dal Cin
Journal:
Theoretical Computer Science
Year:
1994
Language:
english
File:
PDF, 1.89 MB
english, 1994
9

Tolerating faults in a mesh with a row of spare nodes

Jehoshua Bruck, Robert Cypher, Ching-Tien Ho
Journal:
Theoretical Computer Science
Year:
1994
Language:
english
File:
PDF, 859 KB
english, 1994
10

Methods for message routing in parallel machines

Tom Leighton
Journal:
Theoretical Computer Science
Year:
1994
Language:
english
File:
PDF, 2.58 MB
english, 1994
12

A compositional framework for fault tolerance by specification transformation

Doron Peled, Mathai Joseph
Journal:
Theoretical Computer Science
Year:
1994
Language:
english
File:
PDF, 2.09 MB
english, 1994
13

Contents EATCS Bulletin Number 52, February 1994

Journal:
Theoretical Computer Science
Year:
1994
Language:
english
File:
PDF, 278 KB
english, 1994
14

Author index volume 128 (1994)

Journal:
Theoretical Computer Science
Year:
1994
Language:
english
File:
PDF, 49 KB
english, 1994