http://mizunashi.net:80/blog/2007/03/02/1172819209000.html π計算のプロセスの spatial property について partial order reduction する話。partial order reduction が可能な論理式のクラスを明らかにしている... ja kw Fri, 02 Mar 2007 07:06:49 GMT kw 2007-03-02T07:06:49Z ja kw http://mizunashi.net:80/blog/