文献

J-GLOBAL ID：201802255965114885   整理番号：18A0450557

全可逆性のための安全性とライブネス理論【Powered by NICT】

A safety and liveness theory for total reversibility

著者 (2件)： Mezzina Claudio Antares (IMT School for Advanced Studies, Lucca, Italy) ,  Koutavas Vasileios (Trinity College Dublin, Dublin, Ireland)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： TASE  ページ： 1-8  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 減少は完全に秩序化した及び鉛系をrollbacks過去状態に可逆計算における安全性および活性の理論を研究した。この設定における活性と安全性を自然べきである試験と逆かもしれない試験前順序に対応した。可逆言語では,しかしながら,これらの前順序の自然モデルを,前進と後退の両遷移に基づいており,検証のための複雑な証明技法を提供する必要がある。ここでは,順方向転移と限られたロールバック点に基づいて,かなり単純な証明技法を生じさせるである活性と安全性の新しい完全抽象モデルを開発した。また,安全性に関して,全可逆性は,CCSへの保守的拡張であることを示した。活性に関して,著者らはCCSへの全可逆性を高付加系を区別することを証明した。著者らの知る限り,本研究は可逆的計算のための最初のテスト理論を提供し,因果的可逆性のための試験理論のための道を開くものである。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 保全 ,  鉛 ,  言語 ,  *安全性 ,  *可逆性
準シソーラス用語： ロールバック , 【Automatic Indexing@JST】

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

タイトルに関連する用語 (3件)： 可逆性 ,  安全性 ,  理論