The following pages link to A transactional object calculus (Q2485278):
Displaying 12 items.
- Safe locking for multi-threaded Java with exceptions (Q444468) (← links)
- KALA: Kernel aspect language for advanced transactions (Q931097) (← links)
- A formal semantics of nested atomic sections with thread escape (Q1749114) (← links)
- An efficient approach to achieve compositionality using optimized multi-version object based transactional systems (Q2139092) (← 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)
- High-level small-step operational semantics for transactions (Q3189825) (← links)
- (Q4484496) (← links)
- An imperative object calculus (Q5096750) (← links)
- Programming Languages and Systems (Q5308702) (← links)
- Coordination Models and Languages (Q5717726) (← links)