The following pages link to Nested Protocols in Session Types (Q2914375):
Displaying 11 items.
- Lightening global types (Q492916) (← links)
- Monitoring networks through multiparty session types (Q517050) (← links)
- Communicating finite state machines and an extensible toolchain for multiparty session types (Q2140476) (← links)
- Fault-tolerant multiparty session types (Q2165214) (← links)
- Multiparty session types as coherence proofs (Q2357654) (← links)
- A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
- Global escape in multiparty sessions (Q5741561) (← links)
- Global progress for dynamically interleaved multiparty sessions (Q5741563) (← links)
- (Q5875401) (← links)
- Deconfined Global Types for Asynchronous Sessions (Q5883749) (← links)
- Partially Typed Multiparty Sessions (Q6197376) (← links)
