Global Progress in Dynamically Interleaved Multiparty Sessions

DOI10.1007/978-3-540-85361-9_33zbMath1160.68456OpenAlexW1516360493MaRDI QIDQ3541035

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

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

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

Related Items (33)

On projecting processes into session types ⋮ Data-driven adaptation for smart sessions ⋮ Deconfined Global Types for Asynchronous Sessions ⋮ Precise Subtyping for Asynchronous Multiparty Sessions ⋮ Contracts for Mobile Processes ⋮ Multiparty session types, beyond duality ⋮ Verifiable abstractions for contract-oriented systems ⋮ Fault-tolerant multiparty session types ⋮ Comparing type systems for deadlock freedom ⋮ Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python ⋮ Conversation types ⋮ Combining behavioural types with security analysis ⋮ Choreographies, logically ⋮ Information flow safety in multiparty sessions ⋮ Honesty by Typing ⋮ Typing access control and secure information flow in sessions ⋮ Lightening global types ⋮ Monitoring networks through multiparty session types ⋮ Deriving session and union types for objects ⋮ A WSDL-based type system for asynchronous WS-BPEL processes ⋮ Global escape in multiparty sessions ⋮ Global progress for dynamically interleaved multiparty sessions ⋮ On asynchronous eventful session semantics ⋮ Global types with internal delegation ⋮ Typing Copyless Message Passing ⋮ Partial and complete processes in multiparty sessions ⋮ Session-Based Communication Optimisation for Higher-Order Mobile Processes ⋮ A Gentle Introduction to Multiparty Asynchronous Session Types ⋮ A Type Theory for Robust Failure Handling in Distributed Systems ⋮ Unnamed Item ⋮ The Evolution of Jolie ⋮ Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus ⋮ Prioritise the best variation

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