MohammadReza Mousavi, Michel Reniers, Proceedings of the 3rd Workshop on Structural Operational Semantics (SOS'06), Bonn, Germany Electronic Notes in Theoretical Computer Science, Elsevier Science B.V., August 2006.
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.
(Paper in .pdf format in .ps format) (Presentation in .pdf format )
@InProceedings{MousaviSOS06,
author = "Mousavi, MohammadReza and Reniers, Michel A.",
title = "On Well-Foundedness and Expressiveness of Promoted Tyft",
booktitle = "Proceedings of the 2nd Workshop on Structural Operational Semantics (SOS'06)",
series = "Electronic Notes in Theoretical Computer Science",
address = "Bonn, Germany",
publisher = "Elsevier Science B.V.",
year = "2006"
}