配置结构上的可逆 barbed 同余
计算机科学中的逻辑
2015-08-21 v1
摘要
进程代数的一个标准上下文等价是强 barbed 同余。配置结构是一种进程的指称语义，其中可以定义更具判别力的等价关系，即能够区分被 barbed 同余等价的项的指称。遗传历史保持互模拟（HHPB）就是这样一种关系。我们使用可逆进程代数定义了一种强来回 barbed 同余，并表明由该来回同余诱导的关系等价于 HHPB，从而提供了 HHPB 的上下文刻画。
引用
@article{arxiv.1508.04852,
title = {Reversible Barbed Congruence on Configuration Structures},
author = {Clément Aubert and Ioana Cristescu},
journal= {arXiv preprint arXiv:1508.04852},
year = {2015}
}
备注
In Proceedings ICE 2015, arXiv:1508.04595