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