Jean Fortin, Frédéric Gava. Towards Mechanised Semantics of HPC: The BSP with Subgroup Synchronisation Case. In Guojun Wang, Albert Y. Zomaya, Gregorio Martínez Pérez, Kenli Li, editors, Algorithms and Architectures for Parallel Processing - ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings. Volume 9532 of Lecture Notes in Computer Science, pages 222-237, Springer, 2015. [doi]
@inproceedings{FortinG15, title = {Towards Mechanised Semantics of HPC: The BSP with Subgroup Synchronisation Case}, author = {Jean Fortin and Frédéric Gava}, year = {2015}, doi = {10.1007/978-3-319-27161-3_20}, url = {http://dx.doi.org/10.1007/978-3-319-27161-3_20}, researchr = {https://researchr.org/publication/FortinG15}, cites = {0}, citedby = {0}, pages = {222-237}, booktitle = {Algorithms and Architectures for Parallel Processing - ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings}, editor = {Guojun Wang and Albert Y. Zomaya and Gregorio Martínez Pérez and Kenli Li}, volume = {9532}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-27160-6}, }