文献

J-GLOBAL ID：202002231547102726   整理番号：20A0470942

並行およびパラメータ化システムにおける高速性と有界公平性【JST・京大機械翻訳】

Promptness and Bounded Fairness in Concurrent and Parameterized Systems

著者 (4件)： Jacobs Swen (CISPA Helmholtz Center for Information Security, Saarbruecken, Germany) ,  Sakr Mouhammad (CISPA Helmholtz Center for Information Security, Saarbruecken, Germany) ,  Sakr Mouhammad (Saarland University, Saarbruecken, Germany) ,  Zimmermann Martin (University of Liverpool, Liverpool, UK)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 11990  ページ： 337-359  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 同時システムによるPrompt線形時間論理([数式:原文を参照])における仕様の満足度を調べた。Prompt-LTLは,イベントの満足度に関するパラメトリック限界を指定することを可能にするLTLの拡張であり,仕様言語に対する定量的側面を追加する。有界公平性,有界スタッタ等価性と[数式:原文を参照]式の満足度の間の関係を確立した。この接続に基づいて,パラメトリック数の要素と定量的仕様を持つ異なるクラスのシステムに対する最初のカットオフ結果を証明し,パラメータ化モデル検査問題の以前に未知の決定可能なフラグメントを同定した。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： パラメタリゼーション ,  公平性 ,  等価性 ,  *仕様記述言語 ,  モデル検査
準シソーラス用語： *有界 , 【Automatic Indexing@JST】

分類 (2件)： 計算機システム開発  (JD02010R) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (4件)： 並行 ,  パラメータ化 ,  有界 ,  公平性