Pages that link to "Item:Q5740659"
From MaRDI portal
The following pages link to Sub-behaviour relations for session-based client/server systems (Q5740659):
Displaying 15 items.
- Reversible client/server interactions (Q315298) (← links)
- Orchestrated session compliance (Q347361) (← links)
- Reversible session-based pi-calculus (Q492908) (← links)
- Session types and subtyping for orchestrated interactions (Q1633346) (← links)
- A fixed-points based framework for compliance of behavioural contracts (Q2035654) (← links)
- Reversible sessions with flexible choices (Q2329306) (← links)
- Input urgent semantics for asynchronous timed session types (Q2329441) (← links)
- Precise subtyping for synchronous multiparty sessions (Q2423747) (← links)
- Honesty by Typing (Q2974791) (← links)
- Reversing Single Sessions (Q3186584) (← links)
- (Q5015360) (← links)
- (Q5089276) (← links)
- Concurrent Reversible Sessions (Q5111644) (← links)
- Composition of synchronous communicating systems (Q6052940) (← links)
- On Composing Communicating Systems (Q6122641) (← links)
