文献
J-GLOBAL ID:200902075619656913
整理番号:86A0333045
真に抽象的な同時実行モデルとその時制論理
A really abstract concurrent model and its temporal logic.
著者 (3件):
BARRINGER H
(Univ. Manchester, England)
,
KUIPER R
(Univ. Manchester, England)
,
PNUELI A
(Weizmann Inst. Science, Israel)
資料名:
Conference Record of the Annual ACM Symposium on Principles of Programming Languages
(Conference Record of the Annual ACM Symposium on Principles of Programming Languages)
巻:
13th
ページ:
173-183
発行年:
1986年
JST資料番号:
D0069B
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)