講演抄録/キーワード |
講演名 |
2019-03-04 09:50
時間付き可逆プロセス計算の合同性について ○山本 暁・結縁祥治(名大) SS2018-53 |
抄録 |
(和) |
本研究では、並行計算の形式的体系の1つであるプロセス計算を拡張して、可逆性と離散時間遷移を付与したTimed RCCS(Timed Reversible Calculus of Communicating Systems)について、可逆双模倣等価性を示す。また、時間付き可逆双模倣性に関してTimed RCCSの合同性を証明する。Timed RCCSの合同性を証明するためには、メモリが逐次プロセスに対してのみ用いられるという制限が必要である。 |
(英) |
We present a reversible bisimilar equivalence for Timed RCCS(Timed Reversible Calculus of Communicating Systems) extended with forward and backward discrete time transitions. We investigate the congruence property of Timed RCCS with respect to the timed forward-backward bisimilarity. It is shown that the congruence property holds for Timed RCCS with the restriction that the memory is only for sequential processes. |
キーワード |
(和) |
可逆性 / 離散時間遷移 / プロセス計算 / 合同性 / / / / |
(英) |
Reversibility / Discrete-time transitions / Process calculus / Congruence property / / / / |
文献情報 |
信学技報, vol. 118, no. 471, SS2018-53, pp. 7-12, 2019年3月. |
資料番号 |
SS2018-53 |
発行日 |
2019-02-25 (SS) |
ISSN |
Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
SS2018-53 |