Esterel
時間モデルにより、プログラマは正確な制御が可能
並行性により、制御システムを記述しやすい
完全に決定的な動作
有限状態言語 実行時間が予測可能(最悪実行時間) 形式的な検証が容易(形式的検証)
ソフトウェアとしてもハードウェアとしても実装可能
次のプログラムは、A と B を受信すると同時に O を出力する。R を受信すると振る舞いがリセットされる。