A Theory of Encodings and Expressiveness

05/26/2018
by   Rob van Glabbeek, et al.
0

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 well-known case study: the encoding of the synchronous in the asynchronous π-calculus.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/26/2018

On the Validity of Encodings of the Synchronous in the Asynchronous π-calculus

Process calculi may be compared in their expressive power by means of en...
research
02/07/2022

Eager Functions as Processes (long version)

We study Milner's encoding of the call-by-value λ-calculus into the π-ca...
research
09/12/2022

Bullshark: The Partially Synchronous Version

The purpose of this manuscript is to describe the deterministic partiall...
research
09/15/2019

Architecture Definition in Complex System Design Using Model Theory

Architecture Definition, which is central to system design, is one of th...
research
09/15/2019

Using Model Theory for Architecture Definition in Complex System Design

Architecture Definition, which is central to system design, is one of th...
research
10/22/2020

Automata and Fixpoints for Asynchronous Hyperproperties

Hyperproperties have received increasing attention in the last decade du...

Please sign up or login with your details

Forgot password? Click here to reset