The following pages link to (Q2908863):
Displaying 7 items.
- Monitoring networks through multiparty session types (Q517050) (← links)
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python (Q888409) (← links)
- Exception handling for copyless messaging (Q2441510) (← links)
- A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
- A Type Theory for Robust Failure Handling in Distributed Systems (Q2827463) (← links)
- (Q2974797) (← links)
- (Q4558783) (← links)
