Axiomatization and characterization of BSP algorithms - Université Paris-Est-Créteil-Val-de-Marne
Journal Articles Journal of Logical and Algebraic Methods in Programming Year : 2019

Axiomatization and characterization of BSP algorithms

Dates and versions

hal-04709248 , version 1 (25-09-2024)

Identifiers

Cite

Yoann Marquer, Frédéric Gava. Axiomatization and characterization of BSP algorithms. Journal of Logical and Algebraic Methods in Programming, 2019, 109, pp.100479. ⟨10.1016/j.jlamp.2019.100479⟩. ⟨hal-04709248⟩

Collections

LACL UPEC
0 View
0 Download

Altmetric

Share

More