Pages that link to "Item:Q2441510"
From MaRDI portal
The following pages link to Exception handling for copyless messaging (Q2441510):
Displaying 5 items.
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python (Q888409) (← links)
- Exception handling for copyless messaging (Q2441510) (← links)
- A Type Theory for Robust Failure Handling in Distributed Systems (Q2827463) (← links)
- An operational semantics for shared messaging communication (Q2871831) (← links)
- Typing copyless message passing (Q5891509) (← links)