Necessary and Sufficient Conditions for Deterministic Desynchronization - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2007

Necessary and Sufficient Conditions for Deterministic Desynchronization

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : inria-00137885 , version 2

Citer

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⟩
133 Consultations
277 Téléchargements

Partager

Gmail Facebook X LinkedIn More