hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
On well-foundedness and expressiveness of promoted tyft: being promoted makes a difference
Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600, MB Eindhoven, Netherlands.ORCID iD: 0000-0002-4869-6794
Department of Computer Science, Reykjavík University, Kringlan 1, IS-103, Reykjavík, Iceland.
2007 (English)In: Proceedings of the 3rd Workshop on Structural Operational Semantics, Amsterdam: Elsevier, 2007, Vol. 175, 45-56 p.Conference paper, Published paper (Refereed)
Abstract [en]

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. © 2007 Elsevier B.V. All rights reserved.

Place, publisher, year, edition, pages
Amsterdam: Elsevier, 2007. Vol. 175, 45-56 p.
Series
Electronic Notes in Theoretical Computer Science, ISSN 1571-0661
Keyword [en]
Promoted Tyft, SOS Rule Formats, Structural Operational Semantics (SOS), Tyft
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:hh:diva-20486DOI: 10.1016/j.entcs.2006.09.015Scopus ID: 2-s2.0-34248192987OAI: oai:DiVA.org:hh-20486DiVA: diva2:585579
Conference
The 3rd Workshop on Structural Operational Semantics (SOS 2006) 26 August 2006, Bonn, Germany
Note

to appear

Available from: 2013-01-10 Created: 2013-01-08 Last updated: 2014-11-11Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Mousavi, Mohammad Reza
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 59 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf