组态结构上的可逆倒钩同余
Reversible Barbed Congruence on Configuration Structures
摘要：
进程代数的一个标准上下文等价是强倒钩同余。配置结构是进程的指称语义，其中可以定义更具区分性的等价物，即区分由带刺同余等同的术语的指称。遗传历史保持互模拟（HHPB）就是这样一种关系。我们定义了一个强的来回倒钩同余使用可逆的过程代数，并表明，由来回同余引起的关系是等价的HHPB，HHPB提供了一个上下文表征。
英文摘要：
A standard contextual equivalence for process algebras is strong barbed congruence. Configuration structures are a denotational semantics for processes in which one can define equivalences that are more discriminating, i.e. that distinguish the denotation of terms equated by barbed congruence. Hereditary history preserving bisimulation (HHPB) is such a relation. We define a strong back and forth barbed congruence using a reversible process algebra and show that the relation induced by the back and forth congruence is equivalent to HHPB, providing a contextual characterization of HHPB.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
