A special issue of the International Journal of Parallel Programming edited by Virginia Niculescu and Frederic Loulergue: https://doi.org/10.1007/s10766-023-00752-x
Languages, Models and Verification
A special issue of the International Journal of Parallel Programming edited by Virginia Niculescu and Frederic Loulergue: https://doi.org/10.1007/s10766-023-00752-x