Guessing the Buffer Bound for k-Synchronizability - Archive ouverte HAL
Article Dans Une Revue International Journal of Foundations of Computer Science Année : 2022

Guessing the Buffer Bound for k-Synchronizability

Cinzia Di Giusto
Laetitia Laversa
Etienne Lozes

Résumé

A communicating system is k-synchronizable if all of the message sequence charts representing the executions can be divided into slices of [Formula: see text] sends followed by k receptions. It was previously shown that, for a fixed given k, one could decide whether a communicating system is k-synchronizable. This result is interesting because the reachability problem can be solved for k-synchronizable systems. However, the decision procedure assumes that the bound k is fixed. In this paper, we improve this result and show, for mailbox communication, that it is possible to decide if such a bound k exists.
Fichier principal
Vignette du fichier
2104.14408.pdf (294.43 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03890605 , version 1 (07-03-2024)

Identifiants

Citer

Cinzia Di Giusto, Laetitia Laversa, Etienne Lozes. Guessing the Buffer Bound for k-Synchronizability. International Journal of Foundations of Computer Science, 2022, 34 (8), pp.1051-1076. ⟨10.1142/S0129054122430018⟩. ⟨hal-03890605⟩
37 Consultations
25 Téléchargements

Altmetric

Partager

More