Results 1 
3 of
3
Transforming SOS Specifications to Linear Processes
 Eindhoven University of Technology
, 2011
"... Abstract. This paper describes an approach to transform a Structural Operational Semantics given as a set of deduction rules to a Linear Process Specification. The transformation is provided for deduction rules in De Simone format and extended to incorporate predicates. The Linear Process Specificat ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
(Show Context)
Abstract. This paper describes an approach to transform a Structural Operational Semantics given as a set of deduction rules to a Linear Process Specification. The transformation is provided for deduction rules in De Simone format and extended to incorporate predicates. The Linear Process Specifications are specified in syntax of the language mCRL2, that, with help of the underlying (higherorder) rewriter/toolset, can be used for simulation, labelled transition system generation and verification of behavioural properties. We illustrate the technique by showing the effect of the transformation from the Structural Operational Semantics specification of a simple process algebra to aLinear Process Specification. 1
On Rule Formats for Zero and Unit Elements
"... This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our design approach is also applied to reformulate an earlier rule format for unit elements developed by some of the authors. E ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our design approach is also applied to reformulate an earlier rule format for unit elements developed by some of the authors. Examples of left and right zero, as well as unit, elements from the literature are shown to be checkable using the provided formats.
SOS Rule Formats for Zero and Unit Elements
, 2011
"... This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain constants act as left or right unit/zero elements for a set of binary operators. Examples of left and right zero, as well as unit, elements from the literature are shown to fit the rule formats offered in ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain constants act as left or right unit/zero elements for a set of binary operators. Examples of left and right zero, as well as unit, elements from the literature are shown to fit the rule formats offered in this study.