The following pages link to Meeting Deadlines Together (Q5357710):
Displayed 7 items.
- Multiparty session types, beyond duality (Q1647963) (← links)
- Timed runtime monitoring for multiparty conversations (Q1682289) (← links)
- Input urgent semantics for asynchronous timed session types (Q2329441) (← links)
- Enforcing Availability in Failure-Aware Communicating Systems (Q2827467) (← links)
- On the Undecidability of Asynchronous Session Subtyping (Q2988385) (← links)
- Progress-preserving Refinements of CTA (Q5009458) (← links)
- Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types (Q5041094) (← links)