Copertina

Modular Multiparty Sessions with Mixed Choice

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Barbanera, Franco, Dezani-Ciancaglini, Mariangiola
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Asynchronous Multiparty Sessions with Mixed Choice
di: Barbanera, Franco, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
di: Bilotta, Antonella
Pubblicazione: (2025)

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

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

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

Fair Asynchronous Session Subtyping
di: Bravetti, Mario, et al.
Pubblicazione: (2021)

The Functional Machine Calculus III: Choice (Early Announcement)
di: Heijltjes, Willem
Pubblicazione: (2024)

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

Modular Automatic Complexity Analysis of Recursive Integer Programs
di: Lommen, Nils, et al.
Pubblicazione: (2025)

Deontic Action Logics: A Modular Algebraic Perspective
di: Areces, Carlos, et al.
Pubblicazione: (2025)

Modular Counting over 3-Element and Conservative Domains
di: Bulatov, Andrei A., et al.
Pubblicazione: (2025)

Probabilistic Verification for Modular Network-on-Chip Systems (extended version)
di: Waddoups, Nick, et al.
Pubblicazione: (2025)

Modular Attractor Acceleration in Infinite-State Games (Full Version)
di: Heim, Philippe, et al.
Pubblicazione: (2026)

AProVE: Modular Termination Analysis of Memory-Manipulating C Programs
di: Emrich, Frank, et al.
Pubblicazione: (2023)

Modular Counting CSP: Reductions and Algorithms
di: Kazeminia, Amirhossein, et al.
Pubblicazione: (2025)

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

Finite-Choice Logic Programming
di: Martens, Chris, et al.
Pubblicazione: (2024)

From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
di: Kassing, Jan-Christoph, et al.
Pubblicazione: (2024)

Optimal Lower Bounds for Symmetric Modular Circuits
di: Pago, Benedikt
Pubblicazione: (2026)

Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles
di: Glomsrud, Jon Arne, et al.
Pubblicazione: (2024)

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

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

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

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

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

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