A transactional object calculus

DOI10.1016/J.SCICO.2005.03.001MaRDI QIDQ2485278zbMATH OpenOpenAlexFDO

Authors Suresh Jagannathan, Jan Vitek, Adam Welc, Antony L. Hosking

Publication date 3 August 2005

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2005.03.001

zbMATH Keywords

TransactionsObject calculusNestingThreadsOptimistic concurrencyTwo-phase locking

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Programming Languages and Systems
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Transaction calculus (invited paper)
• A Concurrent Calculus with Atomic Transactions
• High-level small-step operational semantics for transactions

Cited in

(16)

• A formal semantics of nested atomic sections with thread escape
• Transactional events
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Proving Isolation Properties for Software Transactional Memory
• High-level small-step operational semantics for transactions
• scientific article; zbMATH DE number 1927571 (Why is no real title available?)
• A Concurrent Calculus with Atomic Transactions
• An imperative object calculus
• Safe locking for multi-threaded Java with exceptions
• An efficient approach to achieve compositionality using optimized multi-version object based transactional systems
• Calculating statically maximum log memory used by multi-threaded transactional programs
• Coordination Models and Languages
• KALA: Kernel aspect language for advanced transactions
• Programming Languages and Systems
• Perspectives on Transactional Memory
• Transactional events

This page was built for publication: A transactional object calculus

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