Pages that link to "Item:Q518894"
From MaRDI portal
The following pages link to Type systems for distributed programs: components and sessions (Q518894):
Displaying 10 items.
- Event-based run-time adaptation in communication-centric systems (Q315279) (← links)
- Session types revisited (Q2407105) (← links)
- Comparing type systems for deadlock freedom (Q2667185) (← links)
- A type language for distributed reactive components governed by communication protocols (Q2693296) (← links)
- Synthesising Choreographies from Local Session Types (Q2914373) (← links)
- (Q3105092) (← links)
- Subtyping Supports Safe Session Substitution (Q3188281) (← links)
- (Q4967196) (← links)
- (Q5019690) (← links)
- Separating Sessions Smoothly (Q6135771) (← links)