The following pages link to Reversing Single Sessions (Q3186584):
Displaying 7 items.
- Reversible sessions with flexible choices (Q2329306) (← links)
- Reversibility in session-based concurrency: a fresh look (Q2360649) (← links)
- Reversing Single Sessions (Q3186584) (← links)
- (Q5015360) (← links)
- (Q5028420) (← links)
- Concurrent Reversible Sessions (Q5111644) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)
