Pages that link to "Item:Q3507396"
From MaRDI portal
The following pages link to The Pairing of Contracts and Session Types (Q3507396):
Displaying 14 items.
- Reversible client/server interactions (Q315298) (← links)
- An algebraic theory for web service contracts (Q493534) (← links)
- Contract-based discovery of Web services modulo simple orchestrators (Q987977) (← links)
- Objects and session types (Q1021571) (← links)
- Session types and subtyping for orchestrated interactions (Q1633346) (← links)
- A fixed-points based framework for compliance of behavioural contracts (Q2035654) (← links)
- Reversibility in session-based concurrency: a fresh look (Q2360649) (← links)
- Session types for safe web service orchestration (Q2436511) (← links)
- On projecting processes into session types (Q2883119) (← links)
- Compliance in Behavioural Contracts: A Brief Survey (Q3460865) (← links)
- Probabilistic Analysis of Binary Sessions (Q5089279) (← links)
- CaSPiS: a calculus of sessions, pipelines and services (Q5740635) (← links)
- Sub-behaviour relations for session-based client/server systems (Q5740659) (← links)
- Modelling session types using contracts (Q5741570) (← links)
