Oct 022015

Argos is a  pure synchronous language inspired by Statecharts. It is a synchronous language in which basic programs are explicit Mealy machines, and the compositions operators are the parallel composition and the hierarchic composition. Automata in the Family of Synchronous Languages is a presentation that contains a good summary of Argos.

Students and Main Collaborations:

  • PhD Students: Muriel Vachon, Yann Rémond, Lionel Morel
  • Collaborations: Airbus, EsterelTechnologies, Schneider Electric, …

Main Publications:

External References to this Work:

Sorry, the comment form is closed at this time.