Automatic Mutual Exclusion and Atomicity Checks
From MaRDI portal
Publication:3507386
DOI10.1007/978-3-540-68679-8_32zbMath1143.68358OpenAlexW1576905273MaRDI QIDQ3507386
Publication date: 19 June 2008
Published in: Concurrency, Graphs and Models (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-68679-8_32
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)