Causal Atomicity
From MaRDI portal
Publication:5756744
DOI10.1007/11817963_30zbMath1188.68186OpenAlexW2911806870MaRDI QIDQ5756744
Publication date: 5 September 2007
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11817963_30
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Characterising spectra of equivalences for event structures, logically, Symbolic predictive analysis for concurrent programs, The Complexity of Predicting Atomicity Violations
