Jean Fortin, Frédéric Gava. BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation. International Journal of Parallel Programming, 44(3):574-597, 2016. [doi]
@article{FortinG16,
title = {BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation},
author = {Jean Fortin and Frédéric Gava},
year = {2016},
doi = {10.1007/s10766-015-0360-y},
url = {http://dx.doi.org/10.1007/s10766-015-0360-y},
researchr = {https://researchr.org/publication/FortinG16},
cites = {0},
citedby = {0},
journal = {International Journal of Parallel Programming},
volume = {44},
number = {3},
pages = {574-597},
}