Pages that link to "Item:Q2357655"
From MaRDI portal
The following pages link to Characteristic bisimulation for higher-order session processes (Q2357655):
Displayed 4 items.
- On the relative expressiveness of higher-order session processes (Q2272988) (← links)
- On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) (← links)
- Minimal session types for the \(\pi\)-calculus (Q6124244) (← links)
- Session-based concurrency in Maude: executable semantics and type checking (Q6156938) (← links)