The following pages link to Aaron Joseph Turon (Q2819853):
Displayed 10 items.
- Iris (Q2819854) (← links)
- Logical relations for fine-grained concurrency (Q2931809) (← links)
- Regular-expression derivatives re-examined (Q3616446) (← links)
- All-Termination(T) (Q3617771) (← links)
- Superficially substructural types (Q5168881) (← links)
- Modular rollback through control logging (Q5176963) (← links)
- Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency (Q5244818) (← links)
- Freeze after writing (Q5408423) (← links)
- A separation logic for refining concurrent objects (Q5408547) (← links)
- A Resource Analysis of the π-calculus (Q5739364) (← links)