关于编码与表达性的思考
计算机科学中的逻辑
2012-08-15 v1
摘要
本文提出了一个定义，说明一种系统描述语言如何编码另一种，从而能够对系统描述语言按表达能力进行排序。我将提出的定义与文献中其他关于编码和表达性的定义进行了比较，并通过一个案例研究（比较CCS和CSP的表达能力）进行了说明。
引用
@article{arxiv.1208.2750,
title = {Musings on Encodings and Expressiveness},
author = {Rob van Glabbeek},
journal= {arXiv preprint arXiv:1208.2750},
year = {2012}
}
备注
In Proceedings EXPRESS/SOS 2012, arXiv:1208.2440