Esterel
有限状態性により、言語としての柔軟性が低い(ただし、適用分野における表現能力としては問題ない)
意味論的問題 因果律違反を防ぐのが難しい 一般にコンパイルが困難だが、単純な正当性検証手法が存在する