データフロープログラムの非同期性を考慮した翻訳検証: 動的分数パーミッションを用いたWaveCert

データフロープログラムの非同期性を考慮し、動的分数パーミッションを用いることで、命令型プログラムと等価なデータフロープログラムを検証する。