Algebras and Synchronous Language Semantics
Résumé
In this report, we study different multi-valued algebras allowing to formally specify synchronous language semantics
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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...