Reseaux de processus reactifs
Abstract
On introduit le modèle des réseaux de processus réactifs, on décrit une implémentation de ces réseaux et on leur donne une sémantique mathématique dans le cadre dénotationnel. On étudie l'implémentation des langages synchrones Lustre et Signal en considérant leurs programmes comme des exemples de réseaux réactifs.