Abstract | ||
---|---|---|
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 well-known case study: the encoding of the synchronous in the asynchronous $pi$-calculus. |
Year | Venue | Field |
---|---|---|
2018 | arXiv: Logic in Computer Science | Asynchronous communication,ENCODE,Algorithm,Theoretical computer science,Expressive power,Mathematics,Encoding (memory),Expressivity |
DocType | Volume | Citations |
Journal | abs/1805.10415 | 0 |
PageRank | References | Authors |
0.34 | 22 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Rob J. van Glabbeek | 1 | 1930 | 134.34 |