文献

J-GLOBAL ID：201802278953152225   整理番号：18A0709618

一般化反応過程と時間の統一理論【JST・京大機械翻訳】

Unifying theories of time with generalised reactive processes

著者 (4件)： Foster Simon (Department of Computer Science, University of York, York, YO10 5DD, United Kingdom) ,  Cavalcanti Ana (Department of Computer Science, University of York, York, YO10 5DD, United Kingdom) ,  Woodcock Jim (Department of Computer Science, University of York, York, YO10 5DD, United Kingdom) ,  Zeyda Frank (Department of Computer Science, University of York, York, YO10 5DD, United Kingdom)
資料名： Information Processing Letters  (Information Processing Letters)
巻： 135  ページ： 47-52  発行年： 2018年 
JST資料番号： E0513A  ISSN： 0020-0190  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 反応性プロセスのHoisとHeの理論は,同時および反応性言語の形式的意味論のための統一的基礎を提供する。高度に適用可能であるが,それらの理論は離散シーケンスとしてイベント履歴を表現できるモデルに限られている。本論文では,抽象的なトレース代数を用いてそれらの理論を一般化できる方法を示した。代数,特に,連続時間トレースを考慮し,それによりハイブリッドシステムのモデルを容易にすることができることを示した。次に,この代数を用いて,著者らの一般的設定における反応過程の理論を再構成し,逐次および並列プロセスに対する特性法則を証明した。これらの全ては,Isabell/HOL証明支援において機械的に検証された。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 並列処理 ,  再構成 ,  ヘリウム ,  *代数学 ,  連続時間系 ,  言語 ,  反応性
準シソーラス用語： ハイブリッドシステム ,  形式的意味論 ,  *反応過程 , 【Automatic Indexing@JST】

著者キーワード (5件)： 形式的意味論 ,  ハイブリッドシステム ,  プロセス代数 ,  統一理論 ,  定理証明

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

タイトルに関連する用語 (3件)： 一般化 ,  反応過程 ,  理論