混合选择的编码是否“良好”？（技术报告）
计算机科学中的逻辑
2012-01-09 v1
摘要
本技术报告包含了文献[PN12]中引理和定理的证明，以及一些补充材料。作为主要贡献，[PN12]提出了在π-演算背景下混合选择的编码，以及一个衡量进程网络中分布程度是否得以保留的准则。
引用
@article{arxiv.1201.1410,
title = {Is it a "Good" Encoding of Mixed Choice? (Technical Report)},
author = {Kirstin Peters and Uwe Nestmann},
journal= {arXiv preprint arXiv:1201.1410},
year = {2012}
}