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

Yoann Marquer
  • Function : Author
Frédéric Gava
  • Function : Author
Laboratoire d'Algorithmique Complexité et Logique

Domains

Computer Science [cs]

Frédéric Gava  : Connect in order to contact the contributor

https://hal.u-pec.fr/hal-04709248

Submitted on : Wednesday, September 25, 2024-2:47:44 PM

Last modification on : Thursday, September 26, 2024-3:05:13 AM

Consult the full text

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

LACL UPEC
0 View
0 Download

Altmetric

Share

More