Causal Atomicity

DOI10.1007/11817963_30zbMATH Open1188.68186OpenAlexW2911806870MaRDI QIDQ5756744FDOQ5756744

Authors: Azadeh Farzan, Parthasarathy Madhusudan 

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

Recommendations

• Atomicity and causal completeness
• A criterion for atomicity
• Causality and atomicity in distributed computations
• A characterisation of atomicity
• Causality versus true-concurrency
• Causality versus true-concurrency
• A criterion for atomicity revisited
• Causality and separability
• Causality
• scientific article; zbMATH DE number 193349

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (4)

• Symbolic predictive analysis for concurrent programs
• Causal Dataflow Analysis for Concurrent Programs
• Characterising spectra of equivalences for event structures, logically
• The Complexity of Predicting Atomicity Violations

This page was built for publication: Causal Atomicity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756744)