Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Pears, Jonah, Bocchi, Laura, Murgia, Maurizio, King, Andy
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Asynchronous Multiparty Sessions with Mixed Choice
von: Barbanera, Franco, et al.
Veröffentlicht: (2026)

On Asynchronous Multiparty Session Types for Federated Learning
von: Prokić, Ivan, et al.
Veröffentlicht: (2025)

Crash-Stop Failures in Asynchronous Multiparty Session Types
von: Barwell, Adam D., et al.
Veröffentlicht: (2023)

Mixed Choice in Asynchronous Multiparty Session Types
von: Bocchi, Laura, et al.
Veröffentlicht: (2026)

Fair Asynchronous Session Subtyping
von: Bravetti, Mario, et al.
Veröffentlicht: (2021)

A Session Type System for Asynchronous Unreliable Broadcast Communication
von: Kouzapas, Dimitrios, et al.
Veröffentlicht: (2019)

Partial Typing for Asynchronous Multiparty Sessions
von: Barbanera, Franco, et al.
Veröffentlicht: (2024)

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2021)

Modular Multiparty Sessions with Mixed Choice
von: Barbanera, Franco, et al.
Veröffentlicht: (2025)

Unifying Asynchronous Logics for Hyperproperties
von: Bombardelli, Alberto, et al.
Veröffentlicht: (2024)

LPrL: An Asynchronous Linear Time Hyper Logic
von: Duggirala, Parasara Sridhar, et al.
Veröffentlicht: (2025)

Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report)
von: Peters, Kirstin, et al.
Veröffentlicht: (2024)

Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
von: Grabmayer, Clemens, et al.
Veröffentlicht: (2025)

Higher-Order Asynchronous Effects
von: Ahman, Danel, et al.
Veröffentlicht: (2023)

Strong Normalisation for Asynchronous Effects
von: Ahman, Danel, et al.
Veröffentlicht: (2026)

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
von: Kontinen, Juha, et al.
Veröffentlicht: (2024)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
von: Heuvel, Bas van den
Veröffentlicht: (2024)

Asynchronous Composition of LTL Properties over Infinite and Finite Traces
von: Bombardelli, Alberto, et al.
Veröffentlicht: (2023)

Fair Termination of Asynchronous Binary Sessions
von: Padovani, Luca, et al.
Veröffentlicht: (2025)

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

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

FTMPST: Fault-Tolerant Multiparty Session Types
von: Peters, Kirstin, et al.
Veröffentlicht: (2022)

Comparing Session Type Systems derived from Linear Logic
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
von: Blechschmidt, Paula
Veröffentlicht: (2025)

Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them
von: Jamroga, Wojciech, et al.
Veröffentlicht: (2020)

Linear Contextual Metaprogramming and Session Types
von: Ângelo, Pedro, et al.
Veröffentlicht: (2024)

Verifying Asynchronous Hyperproperties in Reactive Systems
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

revTPL: The Reversible Temporal Process Language
von: Bocchi, Laura, et al.
Veröffentlicht: (2022)

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

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
von: Lichter, Moritz
Veröffentlicht: (2022)

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
von: Derakhshan, Farzaneh, et al.
Veröffentlicht: (2024)

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
von: Casetta, Richard, et al.
Veröffentlicht: (2026)

Fault-Tolerant Multiparty Session Types with Global Escape Loops
von: Bartl, Lukas, et al.
Veröffentlicht: (2025)

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
von: Castagna, Giuseppe, et al.
Veröffentlicht: (2024)

On Small Types in Univalent Foundations
von: de Jong, Tom, et al.
Veröffentlicht: (2021)

Primitive Recursive Dependent Type Theory
von: Buchholtz, Ulrik, et al.
Veröffentlicht: (2024)

Basis-Sensitive Quantum Typing via Realisability
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2025)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
von: Hermes, Marc, et al.
Veröffentlicht: (2023)

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

Non-Derivability Results in Polymorphic Dependent Type Theory
von: Geuvers, Herman
Veröffentlicht: (2026)