About synchronous programming and abstract interpretation

This publication has 10 references indexed in Scilit:

• The Esterel synchronous programming language: design, semantics, implementation
  Science of Computer Programming, 1992
• Abstract interpretation and application to logic programs
  The Journal of Logic Programming, 1992
• Minimal state graph generation
  Science of Computer Programming, 1992
• An experience in proving regular networks of processes by modular model checking
  Acta Informatica, 1992
• Hybrid dynamical systems theory and the Signal language
  IEEE Transactions on Automatic Control, 1990
• Static analysis of arithmetical congruences
  International Journal of Computer Mathematics, 1989
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• Affine relationships among variables of a program
  Acta Informatica, 1976
• Property extraction in well-founded property sets
  IEEE Transactions on Software Engineering, 1975