2007-01-22から1日間の記事一覧
まだまだカバーし切れていない、プロセス代数の要素がある。イントロ本以外にもクリーニ演算子* への拡張とか、もあるし。。。とりあえずmCLR2本にある基本演算はカバーしないとな。 Restriction: Blocking: Renaming: Commnication:
まだまだカバーし切れていない、プロセス代数の要素がある。イントロ本以外にもクリーニ演算子* への拡張とか、もあるし。。。とりあえずmCLR2本にある基本演算はカバーしないとな。 Restriction: Blocking: Renaming: Commnication: