書誌情報	ファイル
表紙・目次    (1982-10)   数理解析研究所講究録, 470
同期基本命令の変遷と数理の必要性(同期の数理)   土居, 範久 (1982-10)   数理解析研究所講究録, 470: 1-13
Adaの待ち合わせの標準形について(同期の数理)   石畑, 清; 筧, 捷彦 (1982-10)   数理解析研究所講究録, 470: 14-28
Prologのコルーチン・インタプリタの検証について(同期の数理)   古川, 康一; 新田, 克己 (1982-10)   数理解析研究所講究録, 470: 29-45
PDL-Process-Data Language   瀬川, 清 (1982-10)   数理解析研究所講究録, 470: 46-56
汎用コンピュータ・システムにおけるオンライン・リアルタイム・サポートソフトウェア開発例(同期の数理)   福地, 達雄 (1982-10)   数理解析研究所講究録, 470: 57-88
CSP、DP、Adaの比較(同期の数理)   石畑, 清 (1982-10)   数理解析研究所講究録, 470: 89-90
Communicating Sequential Processesの数学モデル(同期の数理)   萩野, 達也 (1982-10)   数理解析研究所講究録, 470: 91-96
モニタの検証(同期の数理)   柴山, 悦哉 (1982-10)   数理解析研究所講究録, 470: 97-103
「同期基本命令の公理的定義」の紹介(同期の数理)   瀬川, 清 (1982-10)   数理解析研究所講究録, 470: 104-113
Message Passingの理論(同期の数理)   米澤, 明憲 (1982-10)   数理解析研究所講究録, 470: 114-124