Pages that link to "Item:Q2802492"
From MaRDI portal
The following pages link to On the Relative Expressiveness of Higher-Order Session Processes (Q2802492):
Displaying 8 items.
- Encodability criteria for quantum based systems (Q2165221) (← links)
- On the relative expressiveness of higher-order session processes (Q2272988) (← links)
- Characteristic bisimulation for higher-order session processes (Q2357655) (← links)
- Reversibility in session-based concurrency: a fresh look (Q2360649) (← links)
- (Q5015357) (← links)
- (Q5028420) (← links)
- Parameterizing higher-order processes on names and processes (Q5108373) (← links)
- Minimal session types for the \(\pi\)-calculus (Q6124244) (← links)
