木村成伴
プロセス代数とその応用⑤ CCS:Cheers!! Computer Science
1992年02月号
プロセス代数とその応用⑥ CSP
1992年03月号