Global progress for dynamically interleaved multiparty sessions

DOI10.1017/S0960129514000188zbMath1361.68165OpenAlexW2046488919MaRDI QIDQ5741563

Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani

Publication date: 28 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129514000188

Mathematics Subject Classification ID

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

Related Items (34)

Multiparty session types as coherence proofs ⋮ Applied Choreographies ⋮ Data-driven adaptation for smart sessions ⋮ Deconfined Global Types for Asynchronous Sessions ⋮ Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types ⋮ Event-based run-time adaptation in communication-centric systems ⋮ Self-adaptation and secure information flow in multiparty communications ⋮ Multiparty session types, beyond duality ⋮ Timed runtime monitoring for multiparty conversations ⋮ Interval probability for sessions types ⋮ Precise subtyping for synchronous multiparty sessions ⋮ Event structure semantics for multiparty sessions ⋮ A Theory of Formal Choreographic Languages ⋮ A model of actors and grey failures ⋮ Session-based concurrency in Maude: executable semantics and type checking ⋮ A predicate transformer for choreographies. Computing preconditions in choreographic programming ⋮ Type theory based semantic verification for service composition in cloud computing environments ⋮ Unnamed Item ⋮ Honesty by Typing ⋮ Unnamed Item ⋮ The Paths to Choreography Extraction ⋮ Session coalgebras: a coalgebraic view on session types and communication protocols ⋮ An abstract framework for choreographic testing ⋮ Composition and decomposition of multiparty sessions ⋮ A core model for choreographic programming ⋮ Connecting open systems of communicating finite state machines ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Global types with internal delegation ⋮ A Gentle Introduction to Multiparty Asynchronous Session Types ⋮ Probabilistic Analysis of Binary Sessions ⋮ Multiparty Session Types Within a Canonical Binary Theory, and Beyond ⋮ Unnamed Item ⋮ Prioritise the best variation

Cites Work

• Conversation types
• Compositional Choreographies
• Multiparty Session Types Meet Communicating Automata
• Specifying Stateful Asynchronous Properties for Distributed Programs
• Synthesising Choreographies from Local Session Types
• Nested Protocols in Session Types
• Deadlock-freedom-by-design
• Contracts for Mobile Processes
• Multiparty asynchronous session types
• A Type System for Client Progress in a Service-Oriented Calculus
• Global Progress in Dynamically Interleaved Multiparty Sessions
• A Theory of Design-by-Contract for Distributed Multiparty Interactions
• Session Types for Access and Information Flow Control
• Buffered Communication Analysis in Distributed Multiparty Sessions
• Global Principal Typing in Partially Commutative Asynchronous Sessions
• On Communicating Finite-State Machines
• Secure distributed programming with value-dependent types
• Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
• Dynamic multirole session types
• Asynchronous Session Types and Progress for Object Oriented Languages
• The Conversation Calculus: A Model of Service-Oriented Computation
• Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines

This page was built for publication: Global progress for dynamically interleaved multiparty sessions