Automatic Mutual Exclusion and Atomicity Checks

DOI10.1007/978-3-540-68679-8_32zbMath1143.68358OpenAlexW1576905273MaRDI QIDQ3507386

Martín Abadi

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

Mathematics Subject Classification ID

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)

This page was built for publication: Automatic Mutual Exclusion and Atomicity Checks