Copertina

Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Pears, Jonah, Bocchi, Laura, Murgia, Maurizio, King, Andy
Natura:	Preprint
Pubblicazione:	2024
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)

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

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

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

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

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

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

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

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

Unifying Asynchronous Logics for Hyperproperties
di: Bombardelli, Alberto, et al.
Pubblicazione: (2024)

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

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

Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
di: Grabmayer, Clemens, et al.
Pubblicazione: (2025)

Higher-Order Asynchronous Effects
di: Ahman, Danel, et al.
Pubblicazione: (2023)

Strong Normalisation for Asynchronous Effects
di: Ahman, Danel, et al.
Pubblicazione: (2026)

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

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

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

Fair Termination of Asynchronous Binary Sessions
di: Padovani, Luca, 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)

TRAC: a tool for data-aware coordination (with an application to smart contracts)
di: Afonso, Joao, et al.
Pubblicazione: (2024)

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

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

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

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

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

Verifying Asynchronous Hyperproperties in Reactive Systems
di: Beutner, Raven, et al.
Pubblicazione: (2025)

revTPL: The Reversible Temporal Process Language
di: Bocchi, Laura, et al.
Pubblicazione: (2022)

Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies
di: Gurov, Dilian, et al.
Pubblicazione: (2024)

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

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

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

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

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

On Small Types in Univalent Foundations
di: de Jong, Tom, et al.
Pubblicazione: (2021)

Primitive Recursive Dependent Type Theory
di: Buchholtz, Ulrik, et al.
Pubblicazione: (2024)

Basis-Sensitive Quantum Typing via Realisability
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2025)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
di: Hermes, Marc, et al.
Pubblicazione: (2023)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
di: Mannucci, Mirco A., et al.
Pubblicazione: (2026)

Non-Derivability Results in Polymorphic Dependent Type Theory
di: Geuvers, Herman
Pubblicazione: (2026)