Franco Zambonelli, Robert H. B. Netzer. Deadlock-Free Incremental Replay of Message-Passing Programs. J. Parallel Distrib. Comput., 61(5):667-678, 2001. [doi]
@article{ZambonelliN01, title = {Deadlock-Free Incremental Replay of Message-Passing Programs}, author = {Franco Zambonelli and Robert H. B. Netzer}, year = {2001}, doi = {10.1006/jpdc.2001.1703}, url = {http://dx.doi.org/10.1006/jpdc.2001.1703}, tags = {incremental}, researchr = {https://researchr.org/publication/ZambonelliN01}, cites = {0}, citedby = {0}, journal = {J. Parallel Distrib. Comput.}, volume = {61}, number = {5}, pages = {667-678}, }