A Concurrent Calculus with Atomic Transactions

DOI10.1007/978-3-540-71316-6_5zbMATH Open1187.68062OpenAlexW1490472435MaRDI QIDQ5756487FDOQ5756487

Authors: Lucia Acciai, Silvano Dal Zilio, Michele Boreale 

Publication date: 4 September 2007

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

Full work available at URL: https://doi.org/10.1007/978-3-540-71316-6_5

Recommendations

• Software transactional memory
• Semantics of transactional memory and automatic mutual exclusion
• scientific article; zbMATH DE number 1023022
• Transactional Memory: Glimmer of a Theory
• A transactional object calculus

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Internet topics (68M11) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (12)

• Transactional events
• Transactions in Constraint Handling Rules
• Towards a universal construction for transaction-based multiprocess programs
• On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues
• Semantics of transactional memory and automatic mutual exclusion
• Title not available (Why is that?)
• On the expressiveness and efficiency of guarded lists in Bach
• A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
• Correctness of an STM Haskell implementation
• A process calculus of atomic commit
• A transactional object calculus
• AtomCaml: first-class atomicity via rollback

This page was built for publication: A Concurrent Calculus with Atomic Transactions

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