@article{Aumann-Rabin/94,
AUTHOR = {Aumann, Yonatan and Rabin, Michael O.},
TITLE = {Clock construction in fully asynchronous parallel systems and PRAM simulation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {128},
NUMBER = {1-2},
PAGES = {3-30},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Leighton/94a,
AUTHOR = {Leighton, Tom},
TITLE = {Methods for message routing in parallel machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {128},
NUMBER = {1-2},
PAGES = {31-62},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Garofalakis-Spirakis-Tampakas-Rajsbaum/94,
AUTHOR = {Garofalakis, J. and Spirakis, P. and Tampakas, B. and Rajsbaum, S.},
TITLE = {Tentative and definite distributed computations: An optimistic approach to network synchronization},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {128},
NUMBER = {1-2},
PAGES = {63-74},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Koren-Shasha/94,
AUTHOR = {Koren, Gilad and Shasha, Dennis},
TITLE = {MOCA: A multiprocessor on-line competitive algorithm for real-time system scheduling},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {128},
NUMBER = {1-2},
PAGES = {75-97},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Peled-Joseph/94,
AUTHOR = {Peled, Doron and Joseph, Mathai},
TITLE = {A compositional framework for fault tolerance by specification transformation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {128},
NUMBER = {1-2},
PAGES = {99-125},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Schepers-Hooman/94,
AUTHOR = {Schepers, Henk and Hooman, Jozef},
TITLE = {A trace-based compositional proof theory for fault tolerant distributed systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {128},
NUMBER = {1-2},
PAGES = {127-157},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Krishnan/94,
AUTHOR = {Krishnan, Padmanabhan},
TITLE = {A semantic characterisation for faults in replicated systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {128},
NUMBER = {1-2},
PAGES = {159-177},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{de_Meer-Trivedi-Dal_Cin/94,
AUTHOR = {de Meer, Hermann and Trivedi, Kishor S. and Dal Cin, Mario},
TITLE = {Guarded repair of dependable systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {128},
NUMBER = {1-2},
PAGES = {179-210},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Pai-Schaffer-Varman/94,
AUTHOR = {Pai, Vinay Sadananda and Sch{\"a}ffer, Alejandro A. and Varman, Peter J.},
TITLE = {Markov analysis of multiple-disk prefetching strategies for external merging},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {128},
NUMBER = {1-2},
PAGES = {211-239},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Bruck-Cypher-Ho/94,
AUTHOR = {Bruck, Jehoshua and Cypher, Robert and Ho, Ching-Tien},
TITLE = {Tolerating faults in a mesh with a row of spare nodes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {128},
NUMBER = {1-2},
PAGES = {241-252},
YEAR = {1994},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}