May-Happen-in-Parallel Analysis with Returned Futures
From MaRDI portal
Publication:5096077
DOI10.1007/978-3-319-68167-2_3zbMath1495.68038MaRDI QIDQ5096077
Elvira Albert, Samir Genaim, Pablo Gordillo
Publication date: 12 August 2022
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-68167-2_3
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)