メインフレーム上の事務計算が、
いきなりHoareのCSPで書かれてたらいいよなぁ〜。

最近のマルチプロセッサによる並行プロセスに対応済みって事になるし、
デッドロック検出や停止問題も事前に検査できるし。