|
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@
|