编码与表达力的一种理论
计算机科学中的逻辑
2018-05-29 v1
摘要
本文提出了一种系统描述语言编码另一种系统描述语言的定义，从而能够依据表达能力对系统描述语言进行排序。我将所提出的定义与文献中其他关于编码与表达力的定义进行了比较，并通过一个著名的案例研究加以说明：同步π演算在异步π演算中的编码。
引用
@article{arxiv.1805.10415,
title = {A Theory of Encodings and Expressiveness},
author = {Rob van Glabbeek},
journal= {arXiv preprint arXiv:1805.10415},
year = {2018}
}
备注
An extended abstract of this paper appeared in the proceedings of FoSSaCS 2018