Global progress for dynamically interleaved multiparty sessions
From MaRDI portal
Publication:5741563
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
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