Collection home page

Mathematical Theory of Synchronization   11
(http://hdl.handle.net/2433/101522)

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