8483 articles  [version française]

hal-00752976, version 1

Algebras and Synchronous Language Semantics

Daniel Gaffé (, http://webs.unice.fr/dgaffe) a, 1, Annie Ressouche (Author to contact preferably, http://www-sop.inria.fr/members/Annie.Ressouche/) b, 2

N° RR-8138 (2012)

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

  • a –  Université Nice Sophia Antipolis (UNS)
  • b –  INRIA SAM
  • 1:  Laboratoire d'Electronique, Antennes et Télécommunications (LEAT)
  • CNRS : UMR6071 – Université Nice Sophia Antipolis [UNS]
  • 2:  STARS (INRIA Sophia Antipolis)
  • INRIA
  • Domain : Computer Science/Computation and Language
    Computer Science/Logic in Computer Science
  • Keywords : synchronous languages – synchrony paradigm – Boolean algebra – multi-valued algebras
  • Internal note : RR-8138
 
  • hal-00752976, version 1
  • http://hal.inria.fr/hal-00752976
  • oai:hal.inria.fr:hal-00752976
  • From: Annie Ressouche <>
  • Submitted on: Wednesday, 21 November 2012 10:46:09
  • Updated on: Tuesday, 8 January 2013 15:04:22