Month: July 2023
[July 2023] Frédéric Gava’s talk
Une caractérisation impérative des algorithmes (multi-)BSP
SR1, July 6, 2023, 2PM:3Pm
Languages, Models and Verification
Une caractérisation impérative des algorithmes (multi-)BSP
SR1, July 6, 2023, 2PM:3Pm