kw's blog - A Chart Semantics for the Pi-Calculus

kw's blog - A Chart Semantics for the Pi-Calculus http://mizunashi.net:80/blog/2007/07/15/1184492659000.html π計算の意味論を図的に定義しようという論... ja kw Sun, 15 Jul 2007 09:44:19 GMT kw 2007-07-15T09:44:19Z ja kw kw's blog http://mizunashi.net:80/blog/