Distributed simulation: A case study in design and verification of distributed programs (1979)

by K M Chandy, J Misra
Venue:IEEE Transactions on Software Engineering