The following pages link to (Q5089276):
Displaying 5 items.
- Prioritise the best variation (Q2117016) (← links)
- Session coalgebras: a coalgebraic view on session types and communication protocols (Q2233467) (← links)
- Subtyping Supports Safe Session Substitution (Q3188281) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- Precise Subtyping for Asynchronous Multiparty Sessions (Q5886521) (← links)