Pages that link to "Item:Q4635657"
From MaRDI portal
The following pages link to Deadlock and lock freedom in the linear π-calculus (Q4635657):
Displayed 19 items.
- Deadlock analysis of unbounded process networks (Q729810) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Composition and decomposition of multiparty sessions (Q1996856) (← links)
- Prioritise the best variation (Q2117016) (← links)
- Session coalgebras: a coalgebraic view on session types and communication protocols (Q2233467) (← links)
- Global types with internal delegation (Q2286741) (← links)
- Session types revisited (Q2407105) (← links)
- Comparing type systems for deadlock freedom (Q2667185) (← links)
- A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
- Multiparty Session Types Within a Canonical Binary Theory, and Beyond (Q2827461) (← links)
- Conflation Confers Concurrency (Q3188279) (← links)
- (Q5009447) (← links)
- (Q5089276) (← links)
- Probabilistic Analysis of Binary Sessions (Q5089279) (← links)
- (Q5094146) (← links)
- (Q5875401) (← links)
- Separating Sessions Smoothly (Q6135771) (← links)
- Session-based concurrency in Maude: executable semantics and type checking (Q6156938) (← links)
- (Q6190869) (← links)