チュートリアル：π計算

日本ソフトウェア科学会 FOSE'97, 1997年12月

講師：佐藤 一郎

Totorial on pi-calculus

at JSSST FOSE'97

by Ichiro Satoh

Online Tutorial

Start