チュートリアル：π計算

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

講師：佐藤 一郎

お茶の水女子大学理学部情報科学科助教授

Totorial on pi-calculus

at JSSST FOSE'97

by Ichiro Satoh

Online Tutorial

Start