昨日のゼミで紹介してもらったけど、bisimulationで逆にわからなくなってしまったので自習。 http://en.wikipedia.org/wiki/Pi-calculus まず、構文 小文字: チャネル、変数(プロセスもあり) 大文字: メタ変数(プロセス式だが、実際の式表現中には出ない) 0:…