π演算的反编译及其在终止性中的应用
编程语言
2011-02-14 v1
摘要
我们研究了管理性续延传递风格下的并发λ演算与π演算之间的对应关系，并推导出后者的一个终止性结果。
引用
@article{arxiv.1102.2339,
title = {A decompilation of the pi-calculus and its application to termination},
author = {Roberto Amadio},
journal= {arXiv preprint arXiv:1102.2339},
year = {2011}
}