文献

J-GLOBAL ID：201802275123853176   整理番号：18A0393865

配位構造と可逆性における文脈等価性【Powered by NICT】

Contextual equivalences in configuration structures and reversibility

著者 (3件)： Aubert Clement (INRIA, France) ,  Aubert Clement (Universite Paris-Est, LACL (EA 4219), UPEC, F-94010 Creteil, France) ,  Cristescu Ioana (Diderot, Sorbonne Paris Cite, P.P.S., UMR 7126, F-75205 Paris, France)
資料名： Journal of Logical and Algebraic Methods in Programming  (Journal of Logical and Algebraic Methods in Programming)
巻： 86  号： 1  ページ： 77-106  発行年： 2017年 
JST資料番号： W1593A  ISSN： 2352-2208  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 文脈等価性はどんな状況下でも同じ観測可能な挙動を有することを項を等しかった。CCSのための標準文脈等価性は強い反矢じり合同である。配置構造の一つである,すなわち,反矢じり合同による同等項の表示を区別するより判別等価性を定義するプロセスのための表示的意味論した。遺伝性履歴保存バイシミュレーション(HH PB)は,このような関係が存在した。RCCS,CCSの可逆的変異体に強い前後反矢じり合同を定義した。配置構造に前後合同により誘導された関係はHH PBと等価であることを示し,HH PBの文脈的キャラクタリゼーションを提供した。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： プロセス代数 ,  計算 ,  キャラクタリゼーション ,  遺伝 ,  *可逆性 ,  表示的意味論 ,  *等価性 ,  バイシミュレーション ,  *配位構造

著者キーワード (6件)： 形式的意味論 ,  プロセス代数と計算 ,  可逆的CCS ,  バイシミュレーションを保存する遺伝史 ,  強い反矢じり一致 ,  文脈特性化

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

タイトルに関連する用語 (4件)： 配位構造 ,  可逆性 ,  文脈 ,  等価性