On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference

M.R. Mousavi, M.A. Reniers

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

43 Downloads (Pure)

Abstract

In this paper, we solve two open problems posed by Karen L. Bernstein regarding her promoted tyft format for structured operational semantics. We show that, unlike formats with closed terms as labels, such as the tyft format, the well-foundedness assumption cannot be dropped for the promoted tyft format while preserving the congruence result. We also show that the well-founded promoted tyft format is incomparable to the tyft format with closed terms as labels, i.e., there are transition relations that can be specified by the promoted tyft format but not by the tyft format, and vice versa.
Original languageEnglish
Title of host publicationProceedings of the 3rd Workshop on Structural Operational Semantics (SOS 2006) 26 August 2006, Bonn, Germany
EditorsR. Glabbeek, van, P.D. Mosses
Pages45-56
DOIs
Publication statusPublished - 2007
Eventconference; 3rd Workshop on Structural Operational Semantics (SOS 2006) Bonn, Germany; 2006-08-26; 2006-08-26 -
Duration: 26 Aug 200626 Aug 2006

Publication series

NameElectronic Notes in Theoretical Computer Science
Volume175
ISSN (Print)1571-0061

Conference

Conferenceconference; 3rd Workshop on Structural Operational Semantics (SOS 2006) Bonn, Germany; 2006-08-26; 2006-08-26
Period26/08/0626/08/06
Other3rd Workshop on Structural Operational Semantics (SOS 2006) Bonn, Germany

Fingerprint Dive into the research topics of 'On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference'. Together they form a unique fingerprint.

Cite this