通信有限状態機械の同期化可能性は決定不能ではない【JST・京大機械翻訳】

Finkel Alain; Lozes Etienne

プレプリント

J-GLOBAL ID：202202202965583994 整理番号：22P0040065

通信有限状態機械の同期化可能性は決定不能ではない【JST・京大機械翻訳】

Synchronizability of Communicating Finite State Machines is not Decidable

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (2件)： ,
資料名：
発行年： 2017年02月23日プレプリントサーバーでの情報更新日： 2023年12月19日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

通信有限状態機械のシステムは,その送信トレース意味論,即ち,それが実行することができる送信のシーケンスの集合が,FIFO非同期であり,それらがちょうど直近な同期であるとき,同じであるならば,同期可能である。この特性は,小モデル特性の形式により,メールボックスまたはピアツーピア通信の何れかの会議とジャーナル論文で決定可能であると主張された。本論文では,この小さなモデル特性が,メールボックス通信に対しても,ピアツーピア通信に対しても保持せず,従って,同期可能性の可解性が未解決問題となることを示した。ピアツーピア通信に対するこの疑問を閉じ,同期性は実際には不可能であることを示した。通信のトポロジーが配向リングであるならば,同期性は決定可能であることを示した。また,この場合,同期性は,非特定受信とオーファンメッセージの欠如,および可到達性集合のチャネル認識性を意味することを示した。【JST・京大機械翻訳】

, , , , , , , , , ,
, , , , 【Automatic Indexing@JST】

光通信方式・機器

, ,

前のページに戻る