A transactional object calculus
From MaRDI portal
Publication:2485278
DOI10.1016/j.scico.2005.03.001zbMath1076.68021OpenAlexW2122139510MaRDI QIDQ2485278
Adam Welc, Suresh Jagannathan, Jan Vitek, 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
Related Items (5)
Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs ⋮ Perspectives on Transactional Memory ⋮ Safe locking for multi-threaded Java with exceptions ⋮ Proving Isolation Properties for Software Transactional Memory ⋮ A formal semantics of nested atomic sections with thread escape
This page was built for publication: A transactional object calculus