文献

J-GLOBAL ID：202202288061343411   整理番号：22A1091934

構成構造のための行動論理【JST・京大機械翻訳】

Behavioural logics for configuration structures

著者 (4件)： Baldan Paolo (University of Padua, Department of Mathematics, Italy) ,  Gorla Daniele (Sapienza University of Rome, Department of Computer Science, Italy) ,  Padoan Tommaso (University of Padua, Department of Mathematics, Italy) ,  Salvo Ivano (Sapienza University of Rome, Department of Computer Science, Italy)
資料名： Theoretical Computer Science  (Theoretical Computer Science)
巻： 913  ページ： 94-112  発行年： 2022年 
JST資料番号： T0022A  ISSN： 0304-3975  CODEN： TCSDIQ  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： イベント構造の(有限)構成の族を一般化するvan GlabbeekとPlotkinによるモデル,構成構造に対する行動論理を提供した。論理は,プライムイベント構造のためにBaldanとCrafaによって提供される論理の保守的拡張である。論理的等価性は双相似性を保存する遺伝的歴史の形式として特性化できることを示した。高次元オートマトンの設定において,van Glabbeekによって提案された等価性と双相似性の概念を比較し,一般に,2つの概念が一般的事象構造のフレームワークにおいて一致することを示した。最後に,一般論理を制約し,履歴保存双類似性の概念を捉える方法を検討した。Copyright 2022 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 意味論 ,  オートマトン ,  保全 ,  *論理 ,  遺伝 ,  モデル ,  高次元 ,  類似性 ,  キャラクタリゼーション ,  等価性 ,  様相論理 ,  フレームワーク【ソフトウェア開発】

著者キーワード (5件)： 構成構造 ,  様相論理 ,  行動等価性 ,  イベント構造 ,  真の並行性の意味論

分類 (1件)： 論理代数  (JB03000H)

タイトルに関連する用語 (2件)： 行動 ,  論理