The following pages link to (Q4596804):
Displaying 5 items.
- A fixed-points based framework for compliance of behavioural contracts (Q2035654) (← links)
- Input urgent semantics for asynchronous timed session types (Q2329441) (← links)
- (Q4965859) (← links)
- Progress-preserving Refinements of CTA (Q5009458) (← links)
- The impact of time on the session problem (Q5348851) (← links)