アイデアまらそん

とにかく続けることが力なり、なのそうなのでめげずに続けます。

さてProcess Algebraの本はどんどん難しくなってしまうので、
すこし応用の論文をさがしてみました。どうも1394関係の論文

C. Shankland and M.B. van der Zwaag. The tree identify protocol of IEEE 1394 in µCRL

ftp://ftp.cwi.nl/pub/CWIreports/SEN/SEN-R9831.ps.Z:

というのをダウンロードした（だけ）。積読にいれておきます。