The following pages link to Timed Multiparty Session Types (Q3190133):
Displaying 8 items.
- Self-adaptation and secure information flow in multiparty communications (Q315296) (← links)
- Monitoring networks through multiparty session types (Q517050) (← links)
- Timed runtime monitoring for multiparty conversations (Q1682289) (← links)
- Input urgent semantics for asynchronous timed session types (Q2329441) (← links)
- A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
- Enforcing Availability in Failure-Aware Communicating Systems (Q2827467) (← links)
- Progress-preserving Refinements of CTA (Q5009458) (← links)
- Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types (Q5041094) (← links)
