The following pages link to Dimitrios Kouzapas (Q2272987):
Displayed 10 items.
- On the relative expressiveness of higher-order session processes (Q2272988) (← links)
- Characteristic bisimulation for higher-order session processes (Q2357655) (← links)
- On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) (← links)
- On Duality Relations for Session Types (Q2811925) (← links)
- Type Checking Privacy Policies in the π-calculus (Q2827457) (← links)
- (Q4600769) (← links)
- (Q5357719) (← links)
- On asynchronous eventful session semantics (Q5741564) (← links)
- Globally Governed Session Semantics (Q5891114) (← links)
- Globally Governed Session Semantics (Q5892066) (← links)