A Unifying Framework for Deciding Synchronizability - Archive ouverte HAL Access content directly
Conference Papers Year : 2021

A Unifying Framework for Deciding Synchronizability


Several notions of synchronizability of a message-passing system have been introduced in the literature. Roughly, a system is called synchronizable if every execution can be rescheduled so that it meets certain criteria, e.g., a channel bound. We provide a framework, based on MSO logic and (special) tree-width, that unifies existing definitions, explains their good properties, and allows one to easily derive other, more general definitions and decidability results for synchronizability.
Fichier principal
Vignette du fichier
concur2021.pdf (731.47 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03278370 , version 1 (24-08-2021)


  • HAL Id : hal-03278370 , version 1


Benedikt Bollig, Cinzia Di Giusto, Alain Finkel, Laetitia Laversa, Etienne Lozes, et al.. A Unifying Framework for Deciding Synchronizability. CONCUR 2021 - 32nd International Conference on Concurrency Theory, Aug 2021, Paris, France. pp.1-33. ⟨hal-03278370⟩
232 View
154 Download


Gmail Mastodon Facebook X LinkedIn More