Art

J-GLOBAL ID：200902101444879540   Reference number：97A0492443

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

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

Author (4)： IZUMI NORIAKI (大阪府大 工) ,  TAKAMATSU SHINOBU (大阪産大 工) ,  KISE KOICHI (大阪府大 工) ,  FUKUNAGA KUNIO (大阪府大 工)
Material： 電子情報通信学会論文誌 D-1  (IEICE Transactions on Information and Systems, Pt.1 (Japanese Edition))
Volume： 80  Issue： 4  Page： 411-414  Publication year： Apr. 1997 
JST Material Number： S0757B  ISSN： 0915-1915  Document type： Article
Article type： 短報  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： program theory ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=97A0492443&from=J-GLOBAL&jstjournalNo=S0757B") }}

JST classification (2)： Applied programming languages  (JD03052Y) ,  Theory of computation  (JB02000A)

Reference (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

Terms in the title (5)： プロセス代数 ,  様相論理 ,  融合 ,  並行 ,  仕様記述