The following pages link to AtomCaml (Q2936772):
Displaying 7 items.
- AtomCaml (Q34473) (← links)
- Proving opacity of transactional memory with early release (Q902713) (← links)
- A formal semantics of nested atomic sections with thread escape (Q1749114) (← links)
- Last-use opacity: a strong safety property for transactional memory with prerelease support (Q2146873) (← links)
- Exceptions and side-effects in atomic blocks (Q2575133) (← links)
- Transactional events (Q3546046) (← links)
- (Q3792236) (← links)