文献

J-GLOBAL ID：200902040666969816   整理番号：92A0625824

同期反応系の表示的理論

A Denotational Theory of Synchronous Reactive Systems.

著者 (4件)： BENVENISTE A (INRIA, Rennes, FRA) ,  LE GUERNIC P (INRIA, Rennes, FRA) ,  SOREL Y (INRIA, Le Chesnay, FRA) ,  SORINE M (INRIA, Le Chesnay, FRA)
資料名： Information and Computation  (Information and Computation)
巻： 99  号： 2  ページ： 192-230  発行年： 1992年08月 
JST資料番号： D0449A  ISSN： 0890-5401  CODEN： INFCEC  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 環境と永久的に相互作用するシステムについて論じた。このような...

シソーラス用語： プログラム理論 ,...

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

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

タイトルに関連する用語 (2件)： 反応系 ,  理論