Algebras and Synchronous Language Semantics

Résumé : Ce rapport étudie différentes algèbres multi-valuées permettant de donner un cadre formel à la définition des sémantiques des langages synchrones.
Type de document :
Rapport
[Research Report] RR-8138, INRIA. 2012, pp.107
Liste complète des métadonnées

Littérature citée [39 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00752976
Contributeur : Annie Ressouche <>
Soumis le : mercredi 21 novembre 2012 - 10:46:09
Dernière modification le : vendredi 12 janvier 2018 - 01:57:56
Document(s) archivé(s) le : vendredi 22 février 2013 - 03:46:36

Fichier

RR-8138.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00752976, version 1

Collections

Citation

Daniel Gaffé, Annie Ressouche. Algebras and Synchronous Language Semantics. [Research Report] RR-8138, INRIA. 2012, pp.107. 〈hal-00752976〉

Partager

Métriques

Consultations de la notice

234

Téléchargements de fichiers

121