AbstractThe paper studies some variants of Statecharts step semantics in the framework of structural operational semantics. The chosen framework allows to study precongruence and congruence properties of behavioral preorders and equivalences and to compare, with respect to these properties, the different step semantics considered
Groote and Vaandrager introduced the tyft format, which is a congruence format for strong bisimulati...
This paper explores the connection between semantic equivalences and preorders for concrete sequenti...
This volume contains the proceedings of SOS 2011, the Eight Workshop on Structural Operational Seman...
. We present a compositional semantics of Statecharts based on Labelled Transition Systems (LTS). We...
This paper proposes a compositional operational semantics for a nontrivial subset of Statecharts and...
Abstract. Statecharts is a visual language for specifying reactive system behavior. The formalism ex...
Associated research group: Critical Systems Research GroupIn this report, we define a parametric str...
This paper explores the connection between semantic equivalences and preorders for concrete sequenti...
Abstract. The Statecharts formalism supports the development of intuitive graphical specifications f...
Definition of programming languages consists of the formal definition of syntax and semantics. One o...
This paper explores the connection between semantic equivalences and preorders for concrete sequenti...
. Statecharts are state-transition machines endowed with hierarchy on states and parallelism on tran...
Abstract. Statecharts is a visual language for specifying the behavior of reactive systems. The lang...
this paper we put forth a process algebraic semantics for statecharts agreeing with [19]. In particu...
Structural congruences have been used to define the semantics and to capture inherent properties of ...
Groote and Vaandrager introduced the tyft format, which is a congruence format for strong bisimulati...
This paper explores the connection between semantic equivalences and preorders for concrete sequenti...
This volume contains the proceedings of SOS 2011, the Eight Workshop on Structural Operational Seman...
. We present a compositional semantics of Statecharts based on Labelled Transition Systems (LTS). We...
This paper proposes a compositional operational semantics for a nontrivial subset of Statecharts and...
Abstract. Statecharts is a visual language for specifying reactive system behavior. The formalism ex...
Associated research group: Critical Systems Research GroupIn this report, we define a parametric str...
This paper explores the connection between semantic equivalences and preorders for concrete sequenti...
Abstract. The Statecharts formalism supports the development of intuitive graphical specifications f...
Definition of programming languages consists of the formal definition of syntax and semantics. One o...
This paper explores the connection between semantic equivalences and preorders for concrete sequenti...
. Statecharts are state-transition machines endowed with hierarchy on states and parallelism on tran...
Abstract. Statecharts is a visual language for specifying the behavior of reactive systems. The lang...
this paper we put forth a process algebraic semantics for statecharts agreeing with [19]. In particu...
Structural congruences have been used to define the semantics and to capture inherent properties of ...
Groote and Vaandrager introduced the tyft format, which is a congruence format for strong bisimulati...
This paper explores the connection between semantic equivalences and preorders for concrete sequenti...
This volume contains the proceedings of SOS 2011, the Eight Workshop on Structural Operational Seman...
DOI
Add to ORKG