Pages that link to "Item:Q5741570"
From MaRDI portal
The following pages link to Modelling session types using contracts (Q5741570):
Displaying 9 items.
- Reversible client/server interactions (Q315298) (← links)
- Orchestrated session compliance (Q347361) (← links)
- An algebraic theory for web service contracts (Q493534) (← links)
- Session types and subtyping for orchestrated interactions (Q1633346) (← links)
- Fair refinement for asynchronous session types (Q2233400) (← links)
- Reversible sessions with flexible choices (Q2329306) (← links)
- (Q5015360) (← links)
- Concurrent Reversible Sessions (Q5111644) (← links)
- Fair asynchronous session subtyping (Q6635515) (← links)
