Skip to main content

TS

Musings on encodings and expressiveness

Authors

Rob van Glabbeek

NICTA

UNSW

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.

BibTeX Entry

  @inproceedings{vanGlabbeek_12,
    publisher        = {Open Publishing Association},
    doi              = {10.4204/EPTCS.89.7},
    author           = {van Glabbeek, Robert},
    month            = aug,
    editor           = {{Bas Luttik and Michel Reniers}},
    year             = {2012},
    keywords         = {system description languages, translations, encodings, expressiveness},
    title            = {Musings on Encodings and Expressiveness},
    booktitle        = {Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structural
                        Operational Semantics},
    pages            = {81–98},
    address          = {Newcastle upon Tyne, United Kingdom}
  }

Download

Served by Apache on Linux on seL4.