2006-06-21から1日間の記事一覧
とにかく続けることが力なり、なのそうなのでめげずに続けます。さてProcess Algebraの本はどんどん難しくなってしまうので、 すこし応用の論文をさがしてみました。どうも1394関係の論文C. Shankland and M.B. van der Zwaag. The tree identify protocol o…
とにかく続けることが力なり、なのそうなのでめげずに続けます。さてProcess Algebraの本はどんどん難しくなってしまうので、 すこし応用の論文をさがしてみました。どうも1394関係の論文C. Shankland and M.B. van der Zwaag. The tree identify protocol o…