kw's blog - Towards a Semantic-Based Verification Environment for the pi-calculus

kw's blog - Towards a Semantic-Based Verification Environment for the pi-calculus http://mizunashi.net:80/blog/2006/08/28/1156747208000.html π計算のインタプリタと双模倣関係の判定器... ja kw Mon, 28 Aug 2006 06:40:08 GMT kw 2006-08-28T06:40:08Z ja kw kw's blog http://mizunashi.net:80/blog/