Pages that link to "Item:Q2914373"
From MaRDI portal
The following pages link to Synthesising Choreographies from Local Session Types (Q2914373):
Displayed 17 items.
- Verifiable abstractions for contract-oriented systems (Q347375) (← links)
- Multiparty session types, beyond duality (Q1647963) (← links)
- Choreographies, logically (Q1699421) (← links)
- Composition and decomposition of multiparty sessions (Q1996856) (← links)
- From global choreographies to verifiable efficient distributed implementations (Q2192464) (← links)
- Global types with internal delegation (Q2286741) (← links)
- Multiparty session types as coherence proofs (Q2357654) (← links)
- Automata for Analysing Service Contracts (Q2811923) (← links)
- A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
- Honesty by Typing (Q2974791) (← links)
- The Paths to Choreography Extraction (Q2988384) (← links)
- Compliance in Behavioural Contracts: A Brief Survey (Q3460865) (← links)
- Protocol combinators for modeling, testing, and execution of distributed systems (Q5018776) (← links)
- (Q5089276) (← links)
- (Q5129942) (← links)
- Global progress for dynamically interleaved multiparty sessions (Q5741563) (← links)
- From infinity to choreographies. Extraction for unbounded systems (Q6103018) (← links)