Dealing with Priorities and Locks for Concurrent Programs
From MaRDI portal
Publication:5096084
DOI10.1007/978-3-319-68167-2_15zbMath1495.68041OpenAlexW2759729851MaRDI QIDQ5096084
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_15
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)