The following pages link to A transactional object calculus (Q2485278):
Displayed 5 items.
- Safe locking for multi-threaded Java with exceptions (Q444468) (← links)
- A formal semantics of nested atomic sections with thread escape (Q1749114) (← links)
- Proving Isolation Properties for Software Transactional Memory (Q3000572) (← links)
- Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs (Q3179394) (← links)
- Perspectives on Transactional Memory (Q3184661) (← links)