scientific article; zbMATH DE number 7075871

MaRDI QIDQ4967167zbMATH OpenFDO

Authors Dmytro Dziuma, Panagiota Fatourou, Eleni Kanellou

Publication date 3 July 2019

Full work available at URL http://bulletin.eatcs.org/index.php/beatcs/article/view/288/270

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Transactional memory
• A programming language perspective on transactional memory consistency
• Perspectives on Transactional Memory
• Consistent checkpointing for transaction systems
• Characterizing Transactional Memory Consistency Conditions Using Observational Refinement

Cited in

(9)

• On the composability of consistency conditions
• Consistency in nondeterministic storage
• Last-use opacity: a strong safety property for transactional memory with prerelease support
• Characterizing Transactional Memory Consistency Conditions Using Observational Refinement
• scientific article; zbMATH DE number 5657406 (Why is no real title available?)
• scientific article; zbMATH DE number 7075928 (Why is no real title available?)
• A programming language perspective on transactional memory consistency
• A verified durable transactional mutex lock for persistent x86-TSO
• Proving opacity of transactional memory with early release

This page was built for publication:

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