Basile Schaeli, Sebastian Gerlach, Roger D. Hersch. Decomposing Partial Order Execution Graphs to Improve Message Race Detection. In 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA. pages 1-8, IEEE, 2007. [doi]
@inproceedings{SchaeliGH07,
title = {Decomposing Partial Order Execution Graphs to Improve Message Race Detection},
author = {Basile Schaeli and Sebastian Gerlach and Roger D. Hersch},
year = {2007},
doi = {10.1109/IPDPS.2007.370409},
url = {http://dx.doi.org/10.1109/IPDPS.2007.370409},
tags = {graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/SchaeliGH07},
cites = {0},
citedby = {0},
pages = {1-8},
booktitle = {21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA},
publisher = {IEEE},
}