The following pages link to Thomas Dinsdale-Young (Q964498):
Displayed 8 items.
- Adjunct elimination in context logic for trees (Q964499) (← links)
- A perspective on specifying and verifying concurrent modules (Q1648035) (← links)
- Afgjort: a partially synchronous finality layer for blockchains (Q2106626) (← links)
- Modular Termination Verification for Non-blocking Concurrency (Q2802477) (← links)
- Views (Q2931804) (← links)
- Caper (Q2988651) (← links)
- Adjunct Elimination in Context Logic for Trees (Q3498442) (← links)
- Steps in modular specifications for concurrent modules (invited tutorial paper) (Q5971389) (← links)