Browse wiki
From CERES
| Publications:On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference |
| Abstract | <p>In this paper, we solve two open … <p>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.</p>sevier B.V. All rights reserved.</p> |
|---|---|
| Author | Mohammad Reza Mousavi + , M. A. Reniers + |
| Conference | The 3rd Workshop on Structural Operational Semantics (SOS 2006) 26 August 2006, Bonn, Germany |
| DOI | http://dx.doi.org/10.1016/j.entcs.2006.09.015 + |
| Diva | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:585579 |
| EndPage | 56 + |
| HostPublication | Proceedings of the 3rd Workshop on Structural Operational Semantics + |
| PublicationType | Conference Paper + |
| Publisher | Elsevier + |
| Series | Electronic Notes in Theoretical Computer Science + |
| StartPage | 45 + |
| Title | On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference + |
| Volume | 175 + |
| Year | 2007 + |
| Has queryThis property is a special property in this wiki. | Publications:On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference + , Publications:On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference + , Publications:On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference + , Publications:On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference + , Publications:On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference + , Publications:On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference + , Publications:On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference + , Publications:On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference + , Publications:On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference + , Publications:On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference + |
| Categories | Publication + |
| Modification dateThis property is a special property in this wiki. | 26 June 2014 03:43:39 + |
| hide properties that link here |
| No properties link to this page. |
