並行プロセス記述言語_occam(4) - 共立出版コンピュータサイエンス誌『bit』