TY - BOOK
T1 - Transforming SOS specifications to linear processes
AU - Stappers, F.P.M.
AU - Reniers, M.A.
AU - Weber, S.
PY - 2011
Y1 - 2011
N2 - 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, including predicates. The Linear Process Specifications are specified in the syntax of the mCRL2 language, that, with help of the underlying (higher-order) re-writer/tool-set, can be used for simulation, labeled transition system generation and verification of behavioral properties. We illustrate the technique by showing the effect of the transformation from the Structural Operational Semantics specification of a simple process algebra to a Linear Process Specification.
AB - 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, including predicates. The Linear Process Specifications are specified in the syntax of the mCRL2 language, that, with help of the underlying (higher-order) re-writer/tool-set, can be used for simulation, labeled transition system generation and verification of behavioral properties. We illustrate the technique by showing the effect of the transformation from the Structural Operational Semantics specification of a simple process algebra to a Linear Process Specification.
M3 - Report
T3 - Computer science reports
BT - Transforming SOS specifications to linear processes
PB - Technische Universiteit Eindhoven
CY - Eindhoven
ER -