Pages that link to "Item:Q492908"
From MaRDI portal
The following pages link to Reversible session-based pi-calculus (Q492908):
Displaying 7 items.
- Reversible client/server interactions (Q315298) (← links)
- A theory of reversibility for Erlang (Q1785852) (← links)
- Global types with internal delegation (Q2286741) (← links)
- Reversible sessions with flexible choices (Q2329306) (← links)
- Reversibility in session-based concurrency: a fresh look (Q2360649) (← links)
- Reversing Single Sessions (Q3186584) (← links)
- Concurrent Reversible Sessions (Q5111644) (← links)
