Une caractérisation impérative des algorithmes (multi-)BSP
SR1, July 6, 2023, 2PM:3Pm
Month: June 2023
[June 2023] WG Domain Theory
The working group on Domain Theory lead by Jules Chouquet starts on June 14 and will meet about twice a month
Languages, Models and Verification
Une caractérisation impérative des algorithmes (multi-)BSP
SR1, July 6, 2023, 2PM:3Pm
The working group on Domain Theory lead by Jules Chouquet starts on June 14 and will meet about twice a month