2009-09-21から1日間の記事一覧
どうもACPとCCSの続きのところをやってると、ルールが足らなかったり、上書きの場合()の場合どするとか、いろいろ決めないといけないことが抜けてます。それにACPとCCSの関係を、「プロセス代数による形式化」の章の後でこそっと入れるのはいかにも罰がわる…
どうもACPとCCSの続きのところをやってると、ルールが足らなかったり、上書きの場合()の場合どするとか、いろいろ決めないといけないことが抜けてます。それにACPとCCSの関係を、「プロセス代数による形式化」の章の後でこそっと入れるのはいかにも罰がわる…