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

Internet topics (68M11) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) 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

(13)

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

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)