含噪声信道的$\pi$-演算中的行为等价性层次

Yongzhi Cao

含噪声信道的$\pi$-演算中的行为等价性层次

计算机科学中的逻辑 2011-10-04 v1

作者: Yongzhi Cao

摘要

$\pi$ -演算是一种进程代数，其中代理通过无噪声通信信道相互发送通信链接进行交互。考虑到噪声信道的现实情况，最近引入了一种 $\pi$ -演算的扩展，称为 $\pi_N$ -演算。在本文中，我们提出了 $\pi_N$ -演算的早期转换语义，该语义并非 $\pi_N$ 晚期语义的直接翻译版本，然后将由归约互模拟、尖头互模拟、尖头等价、尖头同余、互模拟和完全互模拟组成的六种行为等价性扩展到 $\pi_N$ -演算中。这些行为等价性被构建为一个层次结构，有助于验证两个代理的行为等价性。特别是，我们表明由于信道的噪声性质，在 $\pi$ -演算中互模拟与尖头等价的 coincidence，以及完全互模拟与尖头同余的 coincidence，在 $\pi_N$ 中不再成立。

关键词

$\pi$-演算噪声信道 $\pi_N$-演算行为等价性归约互模拟尖头互模拟转换语义进程代数

引用

@article{arxiv.0801.3117,
  title  = {A hierarchy of behavioral equivalences in the $\pi$-calculus with noisy channels},
  author = {Yongzhi Cao},
  journal= {arXiv preprint arXiv:0801.3117},
  year   = {2011}
}

备注

30 pages, 2 figures

含噪声信道的$\pi$-演算中的行为等价性层次

摘要

关键词

引用

备注

相关论文