Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Umberto Villano. Reducing Parallel Program Simulation Complexity by Static Analysis. The Journal of Supercomputing, 17(3):299-310, 2000. [doi]
@article{AversaMMV00,
title = {Reducing Parallel Program Simulation Complexity by Static Analysis},
author = {Rocco Aversa and Beniamino Di Martino and Nicola Mazzocca and Umberto Villano},
year = {2000},
doi = {10.1023/A:1026571525145},
url = {http://dx.doi.org/10.1023/A:1026571525145},
tags = {program analysis, analysis, parallel programming, static analysis},
researchr = {https://researchr.org/publication/AversaMMV00},
cites = {0},
citedby = {0},
journal = {The Journal of Supercomputing},
volume = {17},
number = {3},
pages = {299-310},
}