@inproceedings{M093.012, author={Levrouw, L.J. and Audenaert, K.}, title={An Efficient Record-Replay Mechanism for Shared Memory Programs}, booktitle={Proceedings of the Euromicro Workshop on Parallel and Distributed Processing}, year={1993}, month={1}, pages={169-176}, publisher={IEEE Computer Society Press}, address={Gran Canaria}, }