Published November 16, 2012
| Version v1
Report
Algebras and Synchronous Language Semantics
Creators
Contributors
Others:
- Laboratoire d'Electronique, Antennes et Télécommunications (LEAT) ; Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)
- Spatio-Temporal Activity Recognition Systems (STARS) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
- INRIA
Description
In this report, we study different multi-valued algebras allowing to formally specify synchronous language semantics
Abstract (French)
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.Additional details
Identifiers
- URL
- https://hal.inria.fr/hal-00752976
- URN
- urn:oai:HAL:hal-00752976v1
Origin repository
- Origin repository
- UNICA