May-happen-in-parallel analysis with condition synchronization

DOI10.1007/978-3-319-46559-3_1zbMath1398.68086OpenAlexW2521964477MaRDI QIDQ1990482

Samir Genaim, Elvira Albert, Antonio Flores-Montoya

Publication date: 25 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-46559-3_1

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

This page was built for publication: May-happen-in-parallel analysis with condition synchronization