Pages that link to "Item:Q2360649"
From MaRDI portal
The following pages link to Reversibility in session-based concurrency: a fresh look (Q2360649):
Displaying 5 items.
- Event-based run-time adaptation in communication-centric systems (Q315279) (← links)
- Reversible session-based pi-calculus (Q492908) (← links)
- (Q5028420) (← links)
- Reversible session-based concurrency in Haskell (Q6084530) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)