A Concurrent Calculus with Atomic Transactions

DOI10.1007/978-3-540-71316-6_5MaRDI QIDQ5756487zbMATH OpenOpenAlexFDO

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

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)

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

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
• scientific article; zbMATH DE number 1761891 (Why is no real title available?)
• 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)