Esterel
各シグナルは、1つのサイクルでは存在するかしないかのどちらかであり、両方ということはない。
ライターはリーダーが動作する前に動作する。
従って
は間違ったプログラムである(シグナル A が存在しない場合、それをブロードキャストする)。