文献

J-GLOBAL ID：201902227456056618   整理番号：19A1421612

素数公式の特性【JST・京大機械翻訳】

When are prime formulae characteristic?

著者 (7件)： Aceto Luca (Gran Sasso Science Institute (GSSI), L’Aquila, Italy) ,  Aceto Luca (ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland) ,  Della Monica Dario (Istituto Nazionale di Alta Matematica “F. Severi” (INdAM), Italy) ,  Della Monica Dario (Departamento de Sistemas Informaticos y Computacion, Universidad Complutense de Madrid, Madrid, Spain) ,  Della Monica Dario (Department of Electrical Engineering and Information Technology, University of Naples “Federico II”, Naples, Italy) ,  Fabregas Ignacio (IMDEA Software Institute, Madrid, Spain) ,  Ingolfsdottir Anna (ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland)
資料名： Theoretical Computer Science  (Theoretical Computer Science)
巻： 777  ページ： 3-31  発行年： 2019年 
JST資料番号： T0022A  ISSN： 0304-3975  CODEN： TCSDIQ  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： モード変換システム上のモード精密化を特性化するモード論理の設定において,BoudolとLarsenは,モデル検査を事前順序チェックに縮小できる式,すなわち,特性式が正確に一貫性があり,主要なものであることを示した。本論文では,一般的で十分条件を提示し,特性式が正確に一致し,主要なものであることを保証した。与えられた条件が文献における種々の挙動関係に適用されることを示した。特に,特徴的な公式は,van Glabbeekの線形時間分岐時間スペクトルにおけるすべての意味論に対して,正確に主要で一貫したものである。Copyright 2019 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 十分条件 ,  スペクトル ,  *素数 ,  キャラクタリゼーション ,  精密化 ,  意味論 ,  線形性 ,  モデル検査 ,  モード変換

著者キーワード (4件)： プロセス意味論 ,  論理 ,  特性式 ,  (BI)シミュレーション

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

タイトルに関連する用語 (1件)： 素数