Pages that link to "Item:Q2357654"
From MaRDI portal
The following pages link to Multiparty session types as coherence proofs (Q2357654):
Displaying 7 items.
- A core model for choreographic programming (Q2007727) (← links)
- Multiparty Session Types Within a Canonical Binary Theory, and Beyond (Q2827461) (← links)
- (Q5089276) (← links)
- Applied Choreographies (Q5881532) (← links)
- A Theory of Formal Choreographic Languages (Q6135778) (← links)
- Fair termination of multiparty sessions (Q6561335) (← links)
- A logical account of subtyping for session types (Q6615560) (← links)
