Pages that link to "Item:Q2811925"
From MaRDI portal
The following pages link to On Duality Relations for Session Types (Q2811925):
Displaying 15 items.
- Contracts as games on event structures (Q272306) (← links)
- Session types and subtyping for orchestrated interactions (Q1633346) (← links)
- Multiparty session types, beyond duality (Q1647963) (← links)
- A fixed-points based framework for compliance of behavioural contracts (Q2035654) (← links)
- Session types without sophistry. System description (Q2039935) (← links)
- Mixed sessions (Q2055956) (← links)
- Session-based concurrency, declaratively (Q2120811) (← links)
- Using session types for reasoning about boundedness in the \(\pi\)-calculus (Q2216475) (← links)
- 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)
- Binary Session Types for Psi-Calculi (Q3179282) (← links)
- Compliance in Behavioural Contracts: A Brief Survey (Q3460865) (← links)
- Mixed Sessions (Q5041119) (← links)
- (Q5094146) (← links)
