Musings on Encodings and Expressiveness

Musings on Encodings and Expressiveness

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...

Full description

Bibliographic Details
Main Author: Rob van Glabbeek
Format: Article
Language:English
Published: Open Publishing Association 2012-08-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1208.2750v1
id doaj-7d54c137b491459cb8363b57effcec74
record_format Article
spelling doaj-7d54c137b491459cb8363b57effcec742020-11-25T00:46:39ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802012-08-0189Proc. EXPRESS/SOS 2012819810.4204/EPTCS.89.7Musings on Encodings and ExpressivenessRob van GlabbeekThis 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.http://arxiv.org/pdf/1208.2750v1
collection DOAJ
language English
format Article
sources DOAJ
author Rob van Glabbeek
spellingShingle Rob van Glabbeek
Musings on Encodings and Expressiveness
Electronic Proceedings in Theoretical Computer Science
author_facet Rob van Glabbeek
author_sort Rob van Glabbeek
title Musings on Encodings and Expressiveness
title_short Musings on Encodings and Expressiveness
title_full Musings on Encodings and Expressiveness
title_fullStr Musings on Encodings and Expressiveness
title_full_unstemmed Musings on Encodings and Expressiveness
title_sort musings on encodings and expressiveness
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2012-08-01
description 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.
url http://arxiv.org/pdf/1208.2750v1
work_keys_str_mv AT robvanglabbeek musingsonencodingsandexpressiveness
_version_ 1725263959126179840

Similar Items