Pages that link to "Item:Q3541035"

The following pages link to Global Progress in Dynamically Interleaved Multiparty Sessions (Q3541035):

Displaying 34 items.

• Verifiable abstractions for contract-oriented systems (Q347375) (← links)
• Typing access control and secure information flow in sessions (Q462485) (← links)
• Lightening global types (Q492916) (← links)
• Monitoring networks through multiparty session types (Q517050) (← links)
• A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
• Conversation types (Q615952) (← links)
• Partial and complete processes in multiparty sessions (Q737096) (← links)
• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python (Q888409) (← links)
• Combining behavioural types with security analysis (Q890614) (← links)
• Multiparty session types, beyond duality (Q1647963) (← links)
• Choreographies, logically (Q1699421) (← links)
• Prioritise the best variation (Q2117016) (← links)
• Fault-tolerant multiparty session types (Q2165214) (← links)
• Global types with internal delegation (Q2286741) (← links)
• Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus (Q2343135) (← links)
• Data-driven adaptation for smart sessions (Q2360650) (← links)
• Comparing type systems for deadlock freedom (Q2667185) (← links)
• A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
• A Type Theory for Robust Failure Handling in Distributed Systems (Q2827463) (← links)
• On projecting processes into session types (Q2883119) (← links)
• Information flow safety in multiparty sessions (Q2971077) (← links)
• Honesty by Typing (Q2974791) (← links)
• Contracts for Mobile Processes (Q3184675) (← links)
• Session-Based Communication Optimisation for Higher-Order Mobile Processes (Q3637196) (← links)
• (Q5129942) (← links)
• The Evolution of Jolie (Q5256366) (← links)
• Deriving session and union types for objects (Q5410236) (← links)
• Global escape in multiparty sessions (Q5741561) (← links)
• Global progress for dynamically interleaved multiparty sessions (Q5741563) (← links)
• On asynchronous eventful session semantics (Q5741564) (← links)
• Deconfined Global Types for Asynchronous Sessions (Q5883749) (← links)
• Precise Subtyping for Asynchronous Multiparty Sessions (Q5886521) (← links)
• Typing Copyless Message Passing (Q5892489) (← links)
• Partially typed multiparty sessions with internal delegation (Q6643472) (← links)