The following pages link to Deadlock-freedom-by-design (Q2931801):
Displayed 34 items.
- Verifiable abstractions for contract-oriented systems (Q347375) (← links)
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (Q516036) (← links)
- The stream-based service-centred calculus: a foundation for service-oriented programming (Q736830) (← links)
- Choreographies, logically (Q1699421) (← links)
- A core model for choreographic programming (Q2007727) (← links)
- A coordination protocol language for power grid operation control (Q2011215) (← links)
- Prioritise the best variation (Q2117016) (← links)
- Certifying choreography compilation (Q2119966) (← links)
- Security protocols as choreographies (Q2154014) (← links)
- From global choreographies to verifiable efficient distributed implementations (Q2192464) (← links)
- An abstract framework for choreographic testing (Q2239278) (← links)
- Global types with internal delegation (Q2286741) (← links)
- Multiparty session types as coherence proofs (Q2357654) (← links)
- A type language for distributed reactive components governed by communication protocols (Q2693296) (← links)
- A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
- Multiparty Session Types Within a Canonical Binary Theory, and Beyond (Q2827461) (← links)
- Enforcing Availability in Failure-Aware Communicating Systems (Q2827467) (← links)
- Discretionary Information Flow Control for Interaction-Oriented Specifications (Q2945719) (← links)
- (Q2974797) (← links)
- The Paths to Choreography Extraction (Q2988384) (← links)
- Global Protocol Implementations via Attribute-Based Communication (Q3460871) (← links)
- (Q5019690) (← links)
- Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types (Q5041094) (← links)
- (Q5129942) (← links)
- The Evolution of Jolie (Q5256366) (← links)
- Global progress for dynamically interleaved multiparty sessions (Q5741563) (← links)
- Applied Choreographies (Q5881532) (← links)
- Functional choreographic programming (Q6109477) (← links)
- Branching Pomsets for Choreographies (Q6122640) (← links)
- A Theory of Formal Choreographic Languages (Q6135778) (← links)
- Branching pomsets: design, expressiveness and applications to choreographies (Q6151606) (← links)
- A formal theory of choreographic programming (Q6161233) (← links)
- A predicate transformer for choreographies. Computing preconditions in choreographic programming (Q6166802) (← links)
- Declarative choreographies and liveness (Q6190184) (← links)