HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Hierarchic Normal Forms for Desynchronization

Jean-Pierre Talpin 1 Albert Benveniste 1 Benoit Caillaud 2 Paul Le Guernic 1
1 EP-ATR - Environnement de programmation d'applications temps réel
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
2 PAMPA - Models and Tools for Programming Distributed Parallel Architectures
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
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.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 11:04:15 AM
Last modification on : Friday, February 4, 2022 - 3:21:54 AM
Long-term archiving on: : Sunday, April 4, 2010 - 11:24:34 PM


  • HAL Id : inria-00072836, version 1


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



Record views


Files downloads