Musings on Encodings and Expressiveness

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 case study: comparing the expressive power of CCS and CSP.
Original languageEnglish
Title of host publicationProceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics
EditorsB. Luttik, M.A. Reniers
PublisherOpen Publishing Association
Pages81-98
Number of pages18
Volume89
DOIs
Publication statusPublished - 12 Aug 2012
EventCombined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics - Newcastle, United Kingdom
Duration: 3 Sept 2012 → …
https://www.win.tue.nl/expresssos2012/index.html

Publication series

NameElectronic Proceedings in Theoretical Computer Science
PublisherOpen Publishing Association
ISSN (Electronic)2075-2180

Workshop

WorkshopCombined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics
Abbreviated titleEXPRESS/SOS 2012
Country/TerritoryUnited Kingdom
CityNewcastle
Period3/09/12 → …
Internet address

Fingerprint

Dive into the research topics of 'Musings on Encodings and Expressiveness'. Together they form a unique fingerprint.

Cite this