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 case study: comparing the expressive power of CCS and CSP.
Original language | English |
---|---|
Title of host publication | Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics |
Editors | B. Luttik, M.A. Reniers |
Publisher | Open Publishing Association |
Pages | 81-98 |
Number of pages | 18 |
Volume | 89 |
DOIs | |
Publication status | Published - 12 Aug 2012 |
Event | Combined 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
Name | Electronic Proceedings in Theoretical Computer Science |
---|---|
Publisher | Open Publishing Association |
ISSN (Electronic) | 2075-2180 |
Workshop
Workshop | Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics |
---|---|
Abbreviated title | EXPRESS/SOS 2012 |
Country/Territory | United Kingdom |
City | Newcastle |
Period | 3/09/12 → … |
Internet address |