A Theory of Encodings and Expressiveness (Extended Abstract) - (Extended Abstract)
A Theory of Encodings and Expressiveness (Extended Abstract) - (Extended Abstract)
复制标题
DOI：
10.1007/978-3-319-89366-2_10
复制
发表时间：
2018-04
期刊：
影响因子：
--
通讯作者：
R. V. Glabbeek
中科院分区：
文献类型：
--
作者：
R. V. Glabbeek
本文提出了一种系统描述语言对另一种系统描述语言进行编码的含义的定义，从而实现了系统描述语言在表达能力方面的排序。我将所提出的定义与文献中发现的编码和表达能力的其他定义进行了比较，并在一个著名的案例研究中进行了说明：异步 π 演算中的同步编码。
This paper proposes a definition of what it means for one system description language to encode another one, thereby enabling an ordering of system description languages with respect to expressive power. I compare the proposed definition with other definitions of encoding and expressiveness found in the literature, and illustrate it on a wellknown case study: the encoding of the synchronous in the asynchronous π-calculus.