Hierarchic Normal Forms for Desynchronization - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1999

Hierarchic Normal Forms for Desynchronization

Abstract

Based on an earlier work, we present an in-depth discussion of the relationsh- ips between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guarantee correct desynchronization- , meaning that the original synchronous semantics can be reconstructed from the result of this desynchronization. This theory can be used as a basis for correct distributed code generation. The present paper presents a new data structure, the hierarchic normal form for a transition relation, which is instrumental in implementing this theory. We illustrate this on a example. The whole approach is implemented in the Signal compiler.
Fichier principal
Vignette du fichier
RR-3822.pdf (696.37 Ko) Télécharger le fichier

Dates and versions

inria-00072836 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00072836 , version 1

Cite

Jean-Pierre Talpin, Albert Benveniste, Benoit Caillaud, Paul Le Guernic. Hierarchic Normal Forms for Desynchronization. [Research Report] RR-3822, INRIA. 1999. ⟨inria-00072836⟩
188 View
111 Download

Share

Gmail Facebook Twitter LinkedIn More