Semantics of concurrent revisions

DOI10.1007/978-3-642-19718-5_7zbMATH Open1326.68081OpenAlexW2154709372MaRDI QIDQ3000574FDOQ3000574

Authors: Sebastian Burckhardt, Daan Leijen 

Publication date: 19 May 2011

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19718-5_7

Recommendations

• Concurrent flexible reversibility
• Conceptual level concurrency control of relational update transactions
• On the semantics of snapshot isolation
• Concurrency and atomicity
• Concurrency and reversibility

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Cites Work

• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Semantics of transactional memory and automatic mutual exclusion
• Multiversion concurrency control—theory and algorithms
• Title not available (Why is that?)
• The semantics of Scheme with future
• Coarse-grained transactions
• Semantics of concurrent revisions

Cited In (3)

• Preferred history semantics for iterated updates
• Semantics of concurrent revisions
• Using abstract interpretation to correct synchronization faults

Uses Software

• Grace

This page was built for publication: Semantics of concurrent revisions

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