Pages that link to "Item:Q5919613"
From MaRDI portal
The following pages link to Session-typed concurrent contracts (Q5919613):
Displaying 7 items.
- A theory of monitors (Q2051767) (← links)
- Fairness and communication-based semantics for session-typed languages (Q2672270) (← links)
- (Q5009447) (← links)
- Protocol combinators for modeling, testing, and execution of distributed systems (Q5018776) (← links)
- Session Types with Arithmetic Refinements (Q5089277) (← links)
- (Q5875401) (← links)
- Session-typed concurrent contracts (Q5925542) (← links)