文献

J-GLOBAL ID：200902043006511212   整理番号：89A0586177

リアクティブシステムの実現可能及び実現不能記述

Realizable and unrealizable specifications of reactive systems.

著者 (3件)： ABADI M (Digital Equipment Corp., CA, USA) ,  LAMPORT L (Digital Equipment Corp., CA, USA) ,  WOLPER P (Univ. Li<span style=text-decoration:overline>e`</span>ge, Li<span style=text-decoration:overline>e`</span>ge Sart-Tilman, BEL)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 372  ページ： 1-17  発行年： 1989年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： システムの記述が具体的なシステムとして実現できなければ意味が...

シソーラス用語： 帰納的関数 ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=89A0586177&from=J-GLOBAL&jstjournalNo=H0078D") }}

分類 (1件)： 計算理論  (JB02000A)

タイトルに関連する用語 (2件)： リアクティブシステム ,  記述