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