Local Data Race Freedom with Non-multi-copy Atomicity
From MaRDI portal
Publication:5883581
DOI10.1007/978-3-319-94111-0_12OpenAlexW2807866806MaRDI QIDQ5883581
Publication date: 21 March 2023
Published in: Model Checking Software (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-94111-0_12
Specification and verification (program logics, model checking, etc.) (68Q60) 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)
Cites Work