Safe Asynchronous Mixed-Choice for Timed Interactions - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2023

Safe Asynchronous Mixed-Choice for Timed Interactions

Jonah Pears
  • Fonction : Auteur
  • PersonId : 1408368
Laura Bocchi
  • Fonction : Auteur
  • PersonId : 1382805
Andy King
  • Fonction : Auteur
  • PersonId : 1408369

Résumé

Mixed-choice has long been barred from models of asynchronous communication since it compromises key properties of communicating finite-state machines. Session types inherit this restriction, which precludes them from fully modelling timeouts – a key programming feature to handle failures. To address this deficiency, we present (binary) TimeOut Asynchronous Session Types (TOAST) as an extension to (binary) asynchronous timed session types to permit mixed-choice. TOAST deploy timing constraints to regulate the use of mixed-choice so as to preserve communication safety. We provide a new behavioural semantics for TOAST which guarantees progress in the presence of mixed-choice. Building upon TOAST, we provide a calculus featuring process timers which is capable of modelling timeouts using a $$\mathtt {receive\text {-}after}$$receive-after pattern, much like Erlang, and informally illustrate the correspondence with TOAST specifications.
Fichier sous embargo
Fichier sous embargo
1 0 10
Année Mois Jours
Avant la publication
jeudi 1 janvier 2026
Fichier sous embargo
jeudi 1 janvier 2026
Connectez-vous pour demander l'accès au fichier

Dates et versions

hal-04673820 , version 1 (20-08-2024)

Licence

Identifiants

Citer

Jonah Pears, Laura Bocchi, Andy King. Safe Asynchronous Mixed-Choice for Timed Interactions. 25th International Conference on Coordination Languages and Models (COORDINATION), Jun 2023, Lisbon, Portugal. pp.214-231, ⟨10.1007/978-3-031-35361-1_12⟩. ⟨hal-04673820⟩
25 Consultations
2 Téléchargements

Altmetric

Partager

More