Algebras and Synchronous Language Semantics - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2012

Algebras and Synchronous Language Semantics

Abstract

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.
Fichier principal
Vignette du fichier
RR-8138.pdf (781.81 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-00752976 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More