プロセス代数とその応用⑨_LOTOS――実用指向のプロセス代数(基礎編)