http://mizunashi.net:80/blog/2007/02/21/1172061338000.html 並行オブジェクト指向言語の意味論を CCS で定義した論文。似たようなことをやった研... ja kw Wed, 21 Feb 2007 12:35:38 GMT kw 2007-02-21T12:35:38Z ja kw http://mizunashi.net:80/blog/