Dealing with Priorities and Locks for Concurrent Programs

DOI10.1007/978-3-319-68167-2_15zbMath1495.68041OpenAlexW2759729851MaRDI QIDQ5096084

Marcio Diaz, Tayssir Touili

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

Mathematics Subject Classification ID

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)