Distributed Simulation: A Case Study in Design and Verification of Distributed Programs

K. Mani Chandy, Jayadev Misra. Distributed Simulation: A Case Study in Design and Verification of Distributed Programs. IEEE Trans. Software Eng., 5(5):440-452, 1979.

Abstract

Abstract is missing.