Pages that link to "Item:Q5741563"

The following pages link to Global progress for dynamically interleaved multiparty sessions (Q5741563):

Displaying 40 items.

• Event-based run-time adaptation in communication-centric systems (Q315279) (← links)
• Self-adaptation and secure information flow in multiparty communications (Q315296) (← links)
• Partial and complete processes in multiparty sessions (Q737096) (← links)
• Multiparty session types, beyond duality (Q1647963) (← links)
• Timed runtime monitoring for multiparty conversations (Q1682289) (← links)
• Composition and decomposition of multiparty sessions (Q1996856) (← links)
• A core model for choreographic programming (Q2007727) (← links)
• Connecting open systems of communicating finite state machines (Q2011202) (← links)
• Prioritise the best variation (Q2117016) (← links)
• Type theory based semantic verification for service composition in cloud computing environments (Q2200647) (← links)
• Session coalgebras: a coalgebraic view on session types and communication protocols (Q2233467) (← links)
• An abstract framework for choreographic testing (Q2239278) (← links)
• Global types with internal delegation (Q2286741) (← links)
• Multiparty session types as coherence proofs (Q2357654) (← links)
• Data-driven adaptation for smart sessions (Q2360650) (← links)
• Precise subtyping for synchronous multiparty sessions (Q2423747) (← links)
• Event structure semantics for multiparty sessions (Q2683035) (← links)
• A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
• Multiparty Session Types Within a Canonical Binary Theory, and Beyond (Q2827461) (← links)
• Honesty by Typing (Q2974791) (← links)
• The Paths to Choreography Extraction (Q2988384) (← links)
• Affine sessions (Q4558783) (← links)
• (Q5015360) (← links)
• (Q5019694) (← links)
• Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types (Q5041094) (← links)
• Probabilistic Analysis of Binary Sessions (Q5089279) (← links)
• (Q5089301) (← links)
• (Q5129942) (← links)
• Applied Choreographies (Q5881532) (← links)
• Deconfined Global Types for Asynchronous Sessions (Q5883749) (← links)
• Interval probability for sessions types (Q6102998) (← links)
• A Theory of Formal Choreographic Languages (Q6135778) (← links)
• A model of actors and grey failures (Q6137831) (← links)
• Session-based concurrency in Maude: executable semantics and type checking (Q6156938) (← links)
• Resource sharing via capability-based multiparty session types (Q6536357) (← links)
• Fair termination of multiparty sessions (Q6561335) (← links)
• A session type system for asynchronous unreliable broadcast communication (Q6597963) (← links)
• Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)
• A logical account of subtyping for session types (Q6615560) (← links)
• Partially typed multiparty sessions with internal delegation (Q6643472) (← links)