Musings on Encodings and Expressiveness

Select |




Print


van Glabbeek, Robert

van Glabbeek, Robert


2012-08-12


Conference Material


Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics


Newcastle upon Tyne, United Kingdom


81–98


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.


Open Publishing Association


system description languages, translations, encodings, expressiveness


https://doi.org/10.4204/EPTCS.89.7


http://www.win.tue.nl/expresssos2012/


nicta:6112


van Glabbeek, Robert. Musings on Encodings and Expressiveness. In: Bas Luttik and Michel Reniers Editor, editor/s. Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics; Newcastle upon Tyne, United Kingdom. Open Publishing Association; 2012-08-12. 81–98. https://doi.org/10.4204/EPTCS.89.7



Loading citation data...

Citation counts
(Requires subscription to view)