| 1. |
- Mousavi, Mohammad Reza, et al.
(författare)
-
A syntactic commutativity format for SOS
- 2005
-
Ingår i: Information Processing Letters. - Amsterdam : Elsevier. - 0020-0190 .- 1872-6119. ; 93:5, s. 217-223
-
Tidskriftsartikel (refereegranskat)abstract
- Considering operators defined using Structural Operational Semantics (SOS), commutativity axioms are intuitive properties that hold for many of them. Proving this intuition is usually a laborious task, requiring several pages of boring and standard proof. To save this effort, we propose a syntactic SOS format which guarantees commutativity for a set of composition operators.
|
|
| 2. |
- Mousavi, Mohammad Reza, et al.
(författare)
-
Notions of bisimulation and congruence formats for SOS with data
- 2005
-
Ingår i: Information and Computation. - Amsterdam : Elsevier. - 0890-5401 .- 1090-2651. ; 200, s. 107-147
-
Tidskriftsartikel (refereegranskat)abstract
- While studying the specification of the operational semantics of different programming languages and formalisms, one can observe the following three facts. First, Plotkin's style of Structural Operational Semantics has become a standard in defining operational semantics. Second, congruence with respect to some notion of bisimilarity is an interesting property for such languages and it is essential in reasoning. Third, there are numerous languages that contain an explicit data part in the state of the operational semantics. The first two facts have resulted in a line of research exploring syntactic formats of operational rules to derive the desired congruence property for free. However, the third point (in combination with the first two) is not sufficiently addressed and there is no standard congruence format for operational semantics with an explicit data state. In this article, we address this problem by studying the implications of the presence of a data state on the notion of bisimilarity. Furthermore, we propose a number of formats for congruence. © 2005 Elsevier Inc. All rights reserved.
|
|
| 3. |
- Mousavi, Mohammad Reza, et al.
(författare)
-
Orthogonal extensions in structural operational semantics
- 2005
-
Ingår i: Automata, Languages and Programming. - Heidelberg : Springer. - 9783540275800 - 3540275800 ; , s. 1214-1225
-
Konferensbidrag (refereegranskat)abstract
- In this paper, we give novel and more liberal notions of operationaland equational conservativity for language extensions. We motivatethese notions by showing their practical application in existing formalisms.Based on our notions, we formulate and prove meta-theoremsthat establish conservative extensions for languages defined using StructuralOperational Semantics (SOS).
|
|
