Cover Image

Asynchronous Multiparty Sessions with Mixed Choice

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Barbanera, Franco, Dezani-Ciancaglini, Mariangiola
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Modular Multiparty Sessions with Mixed Choice
by: Barbanera, Franco, et al.
Published: (2025)

Partial Typing for Asynchronous Multiparty Sessions
by: Barbanera, Franco, et al.
Published: (2024)

Global types and event structure semantics for asynchronous multiparty sessions
by: Castellani, Ilaria, et al.
Published: (2021)

Sensible Intersection Type Theories
by: Dezani-Ciancaglini, Mariangiola, et al.
Published: (2026)

Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report)
by: Peters, Kirstin, et al.
Published: (2024)

On Asynchronous Multiparty Session Types for Federated Learning
by: Prokić, Ivan, et al.
Published: (2025)

Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions
by: Pears, Jonah, et al.
Published: (2024)

Crash-Stop Failures in Asynchronous Multiparty Session Types
by: Barwell, Adam D., et al.
Published: (2023)

FTMPST: Fault-Tolerant Multiparty Session Types
by: Peters, Kirstin, et al.
Published: (2022)

A Theory of Formal Choreographic Languages
by: Barbanera, Franco, et al.
Published: (2022)

Safe Composition of Systems of Communicating Finite State Machines
by: Barbanera, Franco, et al.
Published: (2024)

Fault-Tolerant Multiparty Session Types with Global Escape Loops
by: Bartl, Lukas, et al.
Published: (2025)

Fair Asynchronous Session Subtyping
by: Bravetti, Mario, et al.
Published: (2021)

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
by: Casetta, Richard, et al.
Published: (2026)

Logics and Type Theory: essays dedicated to Stefano Berardi on the occasion of his 1000000th birthday
by: Altenkirch, Thorsten, et al.
Published: (2026)

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
by: Heuvel, Bas van den, et al.
Published: (2021)

Mixed Choice in Asynchronous Multiparty Session Types
by: Bocchi, Laura, et al.
Published: (2026)

A Session Type System for Asynchronous Unreliable Broadcast Communication
by: Kouzapas, Dimitrios, et al.
Published: (2019)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
by: Lichter, Moritz
Published: (2022)

Unifying Asynchronous Logics for Hyperproperties
by: Bombardelli, Alberto, et al.
Published: (2024)

LPrL: An Asynchronous Linear Time Hyper Logic
by: Duggirala, Parasara Sridhar, et al.
Published: (2025)

Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
by: Blechschmidt, Paula
Published: (2025)

Comparing Session Type Systems derived from Linear Logic
by: Heuvel, Bas van den, et al.
Published: (2024)

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
by: Kontinen, Juha, et al.
Published: (2024)

Asynchronous Composition of LTL Properties over Infinite and Finite Traces
by: Bombardelli, Alberto, et al.
Published: (2023)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
by: Heuvel, Bas van den
Published: (2024)

The Functional Machine Calculus III: Choice (Early Announcement)
by: Heijltjes, Willem
Published: (2024)

Strong Normalisation for Asynchronous Effects
by: Ahman, Danel, et al.
Published: (2026)

Higher-Order Asynchronous Effects
by: Ahman, Danel, et al.
Published: (2023)

Fair Termination of Asynchronous Binary Sessions
by: Padovani, Luca, et al.
Published: (2025)

Linear Contextual Metaprogramming and Session Types
by: Ângelo, Pedro, et al.
Published: (2024)

Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem
by: Kirst, Dominik, et al.
Published: (2026)

Finite-Choice Logic Programming
by: Martens, Chris, et al.
Published: (2024)

Protocol Choice and Iteration for the Free Cornering
by: Nester, Chad, et al.
Published: (2023)

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
by: Derakhshan, Farzaneh, et al.
Published: (2024)

The Size-Change Principle for Mixed Inductive and Coinductive types
by: Hyvernat, Pierre
Published: (2024)

Dynamics and Coherence for the Free Cornering with Protocol Choice
by: Nester, Chad, et al.
Published: (2025)

Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them
by: Jamroga, Wojciech, et al.
Published: (2020)

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties
by: Egolf, Derek, et al.
Published: (2026)

Solving Fuzzy Satisfiability via Mixed-Integer Non-Linear Programming
by: Castro, Pablo F.
Published: (2026)