Algebras and Synchronous Language Semantics

Rapport (Rapport De Recherche) Année : 2012

(1) , (2)

1
2

Daniel Gaffé

Annie Ressouche

Connectez-vous pour contacter l'auteur

Spatio-Temporal Activity Recognition Systems

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.

Boolean algebra multi-valued algebras synchrony paradigm synchronous languages

Informatique et langage [cs.CL] Logique en informatique [cs.LO]

Fichier principal

RR-8138.pdf (781.81 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://inria.hal.science/hal-00752976

Soumis le : mercredi 21 novembre 2012-10:46:09

Dernière modification le : mardi 12 septembre 2023-10:12:02

Archivage à long terme le : vendredi 22 février 2013-03:46:36

hal-00752976 , version 1 (21-11-2012)

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

CNRS INRIA INRIA-RRRT INRIA2 LARA UNIV-COTEDAZUR

152 Consultations

133 Téléchargements