A transactional object calculus
From MaRDI portal
Publication:2485278
DOI10.1016/j.scico.2005.03.001zbMath1076.68021MaRDI 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
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
Related Items
Safe locking for multi-threaded Java with exceptions, A formal semantics of nested atomic sections with thread escape, Proving Isolation Properties for Software Transactional Memory, Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs, Perspectives on Transactional Memory