Multiparty Session Types Within a Canonical Binary Theory, and Beyond
From MaRDI portal
Publication:2827461
DOI10.1007/978-3-319-39570-8_6zbMATH Open1347.68026DBLPconf/forte/CairesP16OpenAlexW2469507234WikidataQ57652364 ScholiaQ57652364MaRDI QIDQ2827461FDOQ2827461
Authors: Luís Caires, Jorge A. Pérez 
Publication date: 19 October 2016
Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01432929/file/426757_1_En_6_Chapter.pdf
Recommendations
- Multiparty session types, beyond duality
- Multiparty session types as coherence proofs
- scientific article; zbMATH DE number 6774227
- Multiparty session types meet communicating automata
- Exploring type-level bisimilarity towards more expressive multiparty session types
- scientific article; zbMATH DE number 6851955
- Parameterised multiparty session types
- Parameterised Multiparty Session Types
- On the expressiveness of multiparty sessions
Cites Work
- From communicating machines to graphical choreographies
- Multiparty asynchronous session types
- Multiparty compatibility in communicating automata: characterisation and synthesis of global session types
- A theory of contracts for web services
- Correspondence assertions for process synchronization in concurrent communications
- Global progress for dynamically interleaved multiparty sessions
- Propositions as sessions
- Deadlock-freedom-by-design, multiparty asynchronous global programming
- A theory of design-by-contract for distributed multiparty interactions
- Session types as intuitionistic linear propositions
- Linear logical relations and observational equivalences for session-based concurrency
- Behavioral polymorphism and parametricity in session-based communication
- Lightening global types
- On the expressiveness of multiparty sessions
- Deadlock and lock freedom in the linear \(\pi\)-calculus
- Multiparty session types as coherence proofs
- Corecursion and non-divergence in session-typed processes
Cited In (16)
- Title not available (Why is that?)
- A simple library implementation of binary sessions
- Title not available (Why is that?)
- Session types and subtyping for orchestrated interactions
- Multiparty symmetric sum types
- Exploring type-level bisimilarity towards more expressive multiparty session types
- Linearity, control effects, and behavioral types
- Binary session types for psi-calculi
- Partial and complete processes in multiparty sessions
- Conversation types
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks
- Composition and decomposition of multiparty sessions
- Conversation Types
- Title not available (Why is that?)
- Title not available (Why is that?)
- Multiparty session types as coherence proofs
This page was built for publication: Multiparty Session Types Within a Canonical Binary Theory, and Beyond
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2827461)
