SFL
ハードウェア記述において重要である並行性については、CSPを参考にしておりOccamからの影響がみられる。