Global Principal Typing in Partially Commutative Asynchronous Sessions

DOI10.1007/978-3-642-00590-9_23MaRDI QIDQ3617708zbMATH OpenOpenAlexFDO

Authors Dimitris Mostrous, Nobuko Yoshida, Kohei Honda

Publication date 31 March 2009

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00590-9_23

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Multiparty asynchronous session types
• Multiparty Asynchronous Session Types
• Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
• scientific article; zbMATH DE number 7327953
• Subtyping for session types in the pi calculus

Cited in

(35)

• On the boundary between decidability and undecidability of asynchronous session subtyping
• Process calculi as a tool for studying coordination, contracts and session types
• Composition and decomposition of multiparty sessions
• Fair refinement for asynchronous session types
• Global types with internal delegation
• Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
• Undecidability of asynchronous session subtyping
• Precise subtyping for synchronous multiparty sessions
• A gentle introduction to multiparty asynchronous session types
• Deadlock-freedom-by-design, multiparty asynchronous global programming
• The Paths to Choreography Extraction
• On the undecidability of asynchronous session subtyping
• Behavioural analysis of sessions using the calculus of structures
• Contracts for Mobile Processes
• Multiparty asynchronous session types
• Session-Based Communication Optimisation for Higher-Order Mobile Processes
• Progress-preserving refinements of CTA
• Exploring type-level bisimilarity towards more expressive multiparty session types
• Multiparty testing preorders
• scientific article; zbMATH DE number 7559468 (Why is no real title available?)
• \textbf{Actris 2.0}: asynchronous session-type based reasoning in separation logic
• Deriving session and union types for objects
• Global progress for dynamically interleaved multiparty sessions
• scientific article; zbMATH DE number 7327953 (Why is no real title available?)
• A Sound Algorithm for Asynchronous Session Subtyping
• Deconfined Global Types for Asynchronous Sessions
• Precise Subtyping for Asynchronous Multiparty Sessions
• Partially Typed Multiparty Sessions
• Relating Session Types and Behavioural Contracts: The Asynchronous Case
• Global types and event structure semantics for asynchronous multiparty sessions
• Fair asynchronous session subtyping
• Partially typed multiparty sessions with internal delegation
• Open compliance in multiparty sessions with partial typing
• Abstract subtyping for asynchronous multiparty sessions
• A sound and complete characterization of fair asynchronous session subtyping

This page was built for publication: Global Principal Typing in Partially Commutative Asynchronous Sessions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3617708)