Copertina

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Casetta, Richard, Gesbert, Nils, Genevès, Pierre
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

On the Expressivity of Typed Concurrent Calculi
di: Paulus, Joseph William Neal
Pubblicazione: (2024)

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

Towards Concurrent Quantitative Separation Logic
di: Fesefeldt, Ira, et al.
Pubblicazione: (2022)

Typed Non-determinism in Concurrent Calculi: The Eager Way
di: Heuvel, Bas van den, et al.
Pubblicazione: (2024)

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

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

A Graded Modal Dependent Type Theory with Erasure, Formalized
di: Abel, Andreas, et al.
Pubblicazione: (2026)

Denotational Semantics for Probabilistic and Concurrent Programs
di: Zilberstein, Noam, et al.
Pubblicazione: (2025)

A Lazy, Concurrent Convertibility Checker
di: Courant, Nathanaëlle, et al.
Pubblicazione: (2025)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
di: Le, Quang Loc
Pubblicazione: (2025)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
di: Zilberstein, Noam, et al.
Pubblicazione: (2024)

WebPie: A Tiny Slice of Dependent Typing
di: Scholliers, Christophe
Pubblicazione: (2024)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
di: Li, Kwing Hei, et al.
Pubblicazione: (2025)

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
di: Timany, Amin, et al.
Pubblicazione: (2021)

Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency
di: Sulzmann, Martin
Pubblicazione: (2026)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
di: Li, Kwing Hei, et al.
Pubblicazione: (2025)

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

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

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
di: Heuvel, Bas van den, et al.
Pubblicazione: (2024)

Type Theory With Erasure
di: Theocharis, Constantine, et al.
Pubblicazione: (2026)

Orthologic Type Systems
di: Guilloud, Simon, et al.
Pubblicazione: (2025)

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
di: Castagna, Giuseppe, et al.
Pubblicazione: (2024)

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

Logic Programming with Extensible Types
di: Perez, Ivan, et al.
Pubblicazione: (2026)

Type-Based Termination for Futures
di: Somayyajula, Siva, et al.
Pubblicazione: (2021)

Layered Modal Type Theories
di: Hu, Jason Z. S., et al.
Pubblicazione: (2023)

Dependent Type Refinements for Futures
di: Somayyajula, Siva, et al.
Pubblicazione: (2023)

On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System
di: Matsuoka, Satoshi
Pubblicazione: (2026)

Impredicativity in Linear Dependent Type Theory
di: Speight, Sam, et al.
Pubblicazione: (2026)

Types, equations, dimensions and the Pi theorem
di: Botta, Nicola, et al.
Pubblicazione: (2023)

Typed compositional quantum computation with lenses
di: Garrigue, Jacques, et al.
Pubblicazione: (2023)

Hybrid Intersection Types for PCF (Extended Version)
di: Barenbaum, Pablo, et al.
Pubblicazione: (2024)

Dependent Multiplicities in Dependent Linear Type Theory
di: Doré, Maximilian
Pubblicazione: (2025)

Monadic Intersection Types, Relationally (Extended Version)
di: Gavazzo, Francesco, et al.
Pubblicazione: (2024)

Concurrent Games over Relational Structures: The Origin of Game Comonads
di: Montacute, Yoàv, et al.
Pubblicazione: (2024)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
di: Kobayashi, Naoki
Pubblicazione: (2024)