文献

J-GLOBAL ID：200902101444879540   整理番号：97A0492443

プロセス代数と様相論理を融合した並行システムの仕様記述

A Specification Description of Concurrent Systems Unifying Process Algebra and Modal Logic.

著者 (4件)： 和泉憲明 (大阪府大 工) ,  高松忍 (大阪産大 工) ,  黄瀬浩一 (大阪府大 工) ,  福永邦雄 (大阪府大 工)
資料名： 電子情報通信学会論文誌 D-1  (IEICE Transactions on Information and Systems, Pt.1 (Japanese Edition))
巻： 80  号： 4  ページ： 411-414  発行年： 1997年04月 
JST資料番号： S0757B  ISSN： 0915-1915  資料種別： 逐次刊行物 (A)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本論文では,プロセス代数と多重様相論理を融合した並行システム...

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

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

分類 (2件)： 応用プログラミング言語  (JD03052Y) ,  計算理論  (JB02000A)

引用文献 (8件)：

• FANTECHI, A. Compositionality and bisimulation: A negative result. Information Processing Letters. 1991, 39, 2, 109-114
• 本位田真一. 代数的仕様と時制論理によるリアルタイムSAとオブジェクト指向設計の融合手法. 情処学論. 1992, 33, 2, 173-182
• 和泉憲明. プロセス代数と様相論理を融合した並行システムの仕様記述とー階論理の形式化による検証系. 信学技報. 1994, ss94-8
• KARAM, G. M. Temporal logic-based deadlock analysis fot Ada. IEEE Trans. Softw. Eng. 1991, 17, 10
• MILNER, R. Communication and Concurrency. 1989

タイトルに関連する用語 (5件)： プロセス代数 ,  様相論理 ,  融合 ,  並行 ,  仕様記述