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 <>
Submitted on : Wednesday, May 24, 2006 - 11:04:15 AM
Last modification on : Thursday, February 11, 2021 - 2:48:04 PM
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