Electronic Notes in Theoretical Computer Science, Volume 88

Volume 88, October 2004

• Florence Maraninchi, Alain Girault, Éric Rutten:
  Foreword. 1-2
  Electronic Edition (link) BibTeX
• Charles André:
  Computing SyncCharts Reactions. 3-19
  Electronic Edition (link) BibTeX
• Joaquin Aguado, Michael Mendler, Gerald Lüttgen:
  A-maze-ing Esterel. 21-37
  Electronic Edition (link) BibTeX
• Mirabelle Nebut:
  An Overview of the Signal Clock Calculus. 39-54
  Electronic Edition (link) BibTeX
• Koen Claessen:
  Safety Property Verification of Cyclic Synchronous Circuits. 55-69
  Electronic Edition (link) BibTeX
• Miguel Riesco, Javier Tuya:
  Synchronous Estelle: Just Another Synchronous Language? 71-86
  Electronic Edition (link) BibTeX
• Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard:
  Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL. 87-103
  Electronic Edition (link) BibTeX
• Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon:
  Testing Against Some Eventuality Properties of Synchronous Software: A Case Study. 105-121
  Electronic Edition (link) BibTeX