Pages that link to "Item:Q2881091"
From MaRDI portal
The following pages link to On Global Types and Multi-Party Session (Q2881091):
Displaying 21 items.
- Verifiable abstractions for contract-oriented systems (Q347375) (← links)
- Lightening global types (Q492916) (← links)
- A type checking algorithm for concurrent object protocols (Q1785846) (← links)
- Connecting open systems of communicating finite state machines (Q2011202) (← links)
- Role-based development of dynamically evolving esembles (Q2185881) (← 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)
- Enforcing Availability in Failure-Aware Communicating Systems (Q2827467) (← links)
- Discretionary Information Flow Control for Interaction-Oriented Specifications (Q2945719) (← links)
- (Q2974797) (← links)
- (Q5020942) (← links)
- Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types (Q5041094) (← links)
- Concurrent Reversible Sessions (Q5111644) (← links)
- (Q5114827) (← links)
- (Q5129942) (← links)
- (Q5129950) (← links)
- The Evolution of Jolie (Q5256366) (← links)
- Precise Subtyping for Asynchronous Multiparty Sessions (Q5886521) (← links)
- A formal theory of choreographic programming (Q6161233) (← links)
- (Q6191022) (← links)