Skip to Main content Skip to Navigation
Reports

Algebras and Synchronous Language Semantics

Abstract : In this report, we study different multi-valued algebras allowing to formally specify synchronous language semantics
Complete list of metadata

Cited literature [39 references]  Display  Hide  Download

https://hal.inria.fr/hal-00752976
Contributor : Annie Ressouche <>
Submitted on : Wednesday, November 21, 2012 - 10:46:09 AM
Last modification on : Monday, October 12, 2020 - 10:27:33 AM
Long-term archiving on: : Friday, February 22, 2013 - 3:46:36 AM

File

RR-8138.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

360

Files downloads

214