并行程序的前置动态逻辑

摘要

我们用洗牌算子α//β（cobegin…coend）给出了介词动态逻辑（PDL）的一个很好的Gentzen型公理化

Hirokazu Nishimura，并发程序的前置动态逻辑。出版物。Res.Inst.数学。科学。18（1982），第1期，第233-250页