|  |   | ||||||
| 
 | 
| Esterel 
        Team  | 
| 
 
 | |||||||||
| 
 
 
 | 
 CMA 
        is the Center for Applied Mathematics of Ecole des Mines de Paris. It 
        is a research unit based in Sophia-Antipolis. Besides Esterel, CMA develops 
        the Jazz circuit 
        design language and reactive programming languages.  
 INRIA is 
        the French National Institute for Research in Computer Science and Control. 
         CMA is actually hosted by INRIA in its Sophia-Antipolis site The development of Esterel takes place in a common project between CMA and INRIA. This project was called Meije until Y2K. It has split into two new projects: TICK, which develops Esterel and verification technology, and MIMOSA, dedicated to mobile process calculi and programming languages. 
 
 
 | ||||||||
|  Contact 
        Esterel Webmaster@ |