A transactional object calculus
From MaRDI portal
Recommendations
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)