Skip to Main content Skip to Navigation
Reports

Une sémantique d'ESTEREL par ensembles partiellement ordonnés de signaux

Guillaume Doumenc 1
1 MEIJE - Concurrency, Synchronization and Real-time Programming
CRISAM - Inria Sophia Antipolis - Méditerranée
Résumé : On décrit une nouvelle sémantique formelle du langage Esterel. Cette sémantique est donnée sous forme de signaux partiellement ordonnés entre eux. Cette sémantique est définie à partir d'un calcul de processus inhérent à Esterel et est ensuite étendue à Esterel tout entier. Cette sémantique est directe dans le sens où elle ne fait pas appel à la notion de critère d'observation, elle vérifie le déterminisme des programmes et admet la modularité.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00075397
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 6:08:18 PM
Last modification on : Saturday, January 27, 2018 - 1:31:34 AM
Long-term archiving on: : Tuesday, April 12, 2011 - 10:55:37 PM

Identifiers

  • HAL Id : inria-00075397, version 1

Collections

Citation

Guillaume Doumenc. Une sémantique d'ESTEREL par ensembles partiellement ordonnés de signaux. [Rapport de recherche] RR-1161, INRIA. 1990. ⟨inria-00075397⟩

Share

Metrics

Record views

138

Files downloads

59