Global Progress in Dynamically Interleaved Multiparty Sessions

DOI10.1007/978-3-540-85361-9_33MaRDI QIDQ3541035zbMATH OpenOpenAlexFDO

Authors Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco de Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida

Publication date 25 November 2008

Published in CONCUR 2008 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-85361-9_33

Mathematics Subject Classification ID

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

Recommendations

• Global progress for dynamically interleaved multiparty sessions
• On global types and multi-party sessions
• Multiparty asynchronous session types
• Dynamic multirole session types
• Multiparty Asynchronous Session Types

Cited in

(38)

• Multiparty session types, beyond duality
• Choreographies, logically
• Global types with internal delegation
• Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
• Data-driven adaptation for smart sessions
• Comparing type systems for deadlock freedom
• A gentle introduction to multiparty asynchronous session types
• A type theory for robust failure handling in distributed systems
• On global types and multi-party sessions
• On projecting processes into session types
• Information flow safety in multiparty sessions
• Honesty by typing
• Contracts for Mobile Processes
• Verifiable abstractions for contract-oriented systems
• Conversation Types
• Session-Based Communication Optimisation for Higher-Order Mobile Processes
• Typing access control and secure information flow in sessions
• Lightening global types
• On resolving non-determinism in choreographies
• Monitoring networks through multiparty session types
• The evolution of Jolie. From orchestrations to adaptable choreographies
• A WSDL-based type system for asynchronous WS-BPEL processes
• Deriving session and union types for objects
• Global escape in multiparty sessions
• Global progress for dynamically interleaved multiparty sessions
• On asynchronous eventful session semantics
• Deconfined Global Types for Asynchronous Sessions
• Precise Subtyping for Asynchronous Multiparty Sessions
• Globally governed session semantics
• Typing copyless message passing
• Conversation types
• Event structure semantics for multiparty sessions
• Partially typed multiparty sessions with internal delegation
• Timeout asynchronous session types: safe asynchronous mixed-choice for timed interactions
• Less is more revisited: association with global protocols and multiparty sessions
• Partial and complete processes in multiparty sessions
• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
• Combining behavioural types with security analysis

This page was built for publication: Global Progress in Dynamically Interleaved Multiparty Sessions

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