Volume 88, October 2004

SLAP 2003: Synchronous Languages, Applications and Programming, A Satellite Workshop of ECRST 2003, Porto, Portugal

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