Axiomatization and characterization of BSP algorithms - Université Paris-Est-Créteil-Val-de-Marne
Article Dans Une Revue Journal of Logical and Algebraic Methods in Programming Année : 2019

Axiomatization and characterization of BSP algorithms

Dates et versions

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

Identifiants

Citer

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
5 Consultations
0 Téléchargements

Altmetric

Partager

More