Pages that link to "Item:Q2881091"

The following pages link to On global types and multi-party sessions (Q2881091):

Displaying 26 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)
• 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)
• Enforcing Availability in Failure-Aware Communicating Systems (Q2827467) (← links)
• A calculus of global interaction based on session types (Q2864218) (← 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)
• Globally Governed Session Semantics (Q5891114) (← links)
• Parameterised Multiparty Session Types (Q5900851) (← links)
• A formal theory of choreographic programming (Q6161233) (← links)
• Complete multiparty session type projection with automata (Q6535693) (← links)
• Realisability of global models of interaction (Q6605359) (← links)