大蒔和仁
https://gyazo.com/263700496f288c41a62ac1567c7e6eb3
プロセス代数とその応用⑨ LOTOS――実用指向のプロセス代数(基礎編)
1992年06月号
プロセス代数とその応用⑩ LOTOS――実用指向のプロセス代数(応用編)
1992年07月号