互测试进程
计算机科学中的逻辑
2015-07-01 v2
摘要
在DeNicola-Hennessy标准测试理论中，若一个进程所保证的每项测试也由另一进程保证，则该进程被视为另一进程的精化。在Web服务领域这被重新表述，进程视为服务器，测试视为客户端。以此方式，服务器间的标准精化预序由它们满足客户端的能力决定。但在该设定下也存在客户端间自然的精化预序，由其被服务器满足的能力决定。在更一般的无客户端与服务器区分、所有进程皆为对等体的设定中，存在基于对等体相互满足的进一步精化预序。我们给出这三种预序的统一描述。特别地，我们给出两种刻画。第一种是行为的，基于迹和就绪集。第二种针对有限进程，是方程的。
引用
@article{arxiv.1502.06360,
title = {Mutually Testing Processes},
author = {Giovanni Bernardi and Matthew Hennessy},
journal= {arXiv preprint arXiv:1502.06360},
year = {2015}
}