非同期のコードはよく書くものの、その振舞いを把握できているか不安になることもありますよね。   そのようなとき、オートマトンや状態遷移系のような知識は役に立つのでしょうか？つまりそれ自体を使ってコードを書くことはないものの、基礎的な考え方になるようなものです。並行計算の分野ではCCS(Calculus of Commun…