A Theory of Encodings and Expressiveness (Extended Abstract)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 languageEnglish
Title of host publicationFoundations 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
EditorsChristel Baier, Ugo Dal Lago
Place of PublicationCham
PublisherSpringer
Pages183-202
Number of pages20
ISBN (Electronic)978-3-319-89366-2
ISBN (Print)978-3-319-89365-5
DOIs
Publication statusPublished - 14 Apr 2018
Event21st International Conference on Foundations of Software Science and Computation Structures, 2018 - Thessaloniki, Greece
Duration: 14 Apr 201820 Apr 2018
Conference number: 21
https://etaps.org/2018/fossacs

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Cham
Volume10803
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference21st International Conference on Foundations of Software Science and Computation Structures, 2018
Abbreviated titleFoSSaCS 2018
Country/TerritoryGreece
CityThessaloniki
Period14/04/1820/04/18
Internet address

Fingerprint

Dive into the research topics of 'A Theory of Encodings and Expressiveness (Extended Abstract)'. Together they form a unique fingerprint.

Cite this