Theoretical Computer Science, Volume 128

Volume 128, Numbers 1&2, 6 June 1994

• Yonatan Aumann, Michael O. Rabin: Clock Construction in Fully Asynchronous Parallel Systems and PRAM Simulation. 3-30
• Frank Thomson Leighton: Methods for Message Routing in Parallel Machines. 31-62
• John D. Garofalakis, Paul G. Spirakis, Basil Tampakas, Sergio Rajsbaum: Tentative and Definite Distributed Computations: An Optimistic Approach to Network Synchronization. 63-74
• Gilad Koren, Dennis Shasha: MOCA: A Multiprocessor On-Line Competitive Algorithm for Real-Time System Scheduling. 75-97
• Doron Peled, Mathai Joseph: A Compositional Framework for Fault Tolerance by Specification Transformation. 99-125
• Henk Schepers, Jozef Hooman: A Trace-Based Compositional Proof Theory for Fault Tolerant Distributed Systems. 127-157
• Padmanabhan Krishnan: A Semantic Characterisation for Faults in Replicated Systems. 159-177
• Hermann de Meer, Kishor S. Trivedi, Mario Dal Cin: Guarded Repair of Dependable Systems. 179-210
• Vinay S. Pai, Alejandro A. Schäffer, Peter J. Varman: Markov Analysis of Multiple-Disk Prefetching Strategies for External Merging. 211-239
• Jehoshua Bruck, Robert Cypher, Ching-Tien Ho: Tolerating Faults in a Mesh with a Row of Spare Nodes. 241-252