Tech Reports

Report ID Title Report authors Report date
1993-04 Efficient Implementation of Synchronous Communication OverAsynchronous Networks Manhoi Choy and Ambuj K. Singh February, 1993
1993-03 Localizing Failures in Distributed Synchronization Manhoi Choy and Ambuj K. Singh February, 1993
1993-02 Bounded Timestamps in Process Networks Manhoi Choy and Ambuj K. Singh May, 1993
1993-01 A Computationally Intractable Problem on Simplicial Complexes Omer Egecioglu and Teofilo Gonzalez January, 1993
1992-22 Formal Verification of Realtime Systems in ASTRAL Alberto Coen-Porisini, Richard A. Kemmerer, and Dino Mandrioli January, 1992
1992-22 Formal Verification of Realtime Systems in ASTRAL Alberto Coen-Porisini, Richard A. Kemmerer, and Dino Mandrioli December, 1993

Pages