Contents of Report


[Data of Report]

Report Number:
TR0286
Date of Registration:
1987.07
English Title:
On A Reasoning Method of Concurrent Systems
Japanese Title:
並列動作系における推論方式について
English Author:
K.Takahashi,S.Takeuchi,H.Shimizu
Japanese:
高橋 和子,竹内 彰一,清水 広之
Name of Organization to which author belongs:
Mitsubishi,Mitsubishi,Mitsubishi
PDF:
tr0286.pdf

[Contents]

1はじめに.... 2
2ANDOR-IIによる問題の記述.... 2
3計算モデル.... 3
4実行系.... 3
5実行例.... 3
6むすび.... 3
謝辞.... 3
参考文献.... 3


目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports