Causal Atomicity

From MaRDI portal

Revision as of 05:03, 7 March 2024 by Import240305080351 (talk | contribs) (Created automatically from import240305080351)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5756744

Jump to:navigation, search

DOI10.1007/11817963_30zbMath1188.68186OpenAlexW2911806870MaRDI QIDQ5756744

P. Madhusudan, Azadeh Farzan

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

Mathematics Subject Classification ID

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 (3)

Characterising spectra of equivalences for event structures, logically ⋮ Symbolic predictive analysis for concurrent programs ⋮ The Complexity of Predicting Atomicity Violations

This page was built for publication: Causal Atomicity

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5756744&oldid=30524593"