Semantics of Concurrent Revisions
DOI10.1007/978-3-642-19718-5_7zbMATH Open1326.68081OpenAlexW2154709372MaRDI QIDQ3000574FDOQ3000574
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
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)
Uses Software
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)