Concurrency, Synchronisation, Reactivity
We are a joint research team between INRIA and the Ecole des Mines de Paris in its Centre de Mathématiques Appliquées at
- Concurrency Theory
, algebraic models and higher-order processes.
- Esterel, a
synchronous reactive programming language for software or hardware controlers.
- Verification tools
for synchronous and asynchronous concurrent systems, based on finite
state model analysis.
- Reactive programming
, the Reactive-C language, reactive scripts and reactive objects.