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]
Abstract is missing.