Abstract / Description of output
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 backslashpi $-calculus.
Original language | English |
---|---|
Title of host publication | Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings |
Editors | Christel Baier, Ugo Dal Lago |
Place of Publication | Cham |
Publisher | Springer |
Pages | 183-202 |
Number of pages | 20 |
ISBN (Electronic) | 978-3-319-89366-2 |
ISBN (Print) | 978-3-319-89365-5 |
DOIs | |
Publication status | Published - 14 Apr 2018 |
Event | 21st International Conference on Foundations of Software Science and Computation Structures, 2018 - Thessaloniki, Greece Duration: 14 Apr 2018 → 20 Apr 2018 Conference number: 21 https://etaps.org/2018/fossacs |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer Cham |
Volume | 10803 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 21st International Conference on Foundations of Software Science and Computation Structures, 2018 |
---|---|
Abbreviated title | FoSSaCS 2018 |
Country/Territory | Greece |
City | Thessaloniki |
Period | 14/04/18 → 20/04/18 |
Internet address |