Necessary and Sufficient Conditions for Deterministic Desynchronization - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2007

Necessary and Sufficient Conditions for Deterministic Desynchronization

Abstract

Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can be reacted upon. But in desynchronized (distributed) implementations, absent values must be explicitely exchanged, unless behaviors were already provably independent and asynchronous (a property formerly introduced as endochrony). We provide further criteria restricting "reaction to absence" for correct desynchronization.
Fichier principal
Vignette du fichier
RR-6152.pdf (230.1 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00137885 , version 1 (22-03-2007)
inria-00137885 , version 2 (26-03-2007)

Identifiers

  • HAL Id : inria-00137885 , version 2

Cite

Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel. Necessary and Sufficient Conditions for Deterministic Desynchronization. [Research Report] RR-6152, INRIA. 2007, pp.21. ⟨inria-00137885v2⟩
130 View
264 Download

Share

Gmail Facebook Twitter LinkedIn More