Paper Info
Title
Transforming SOS specifications to linear processes
Abstract
This paper describes an approach to transform 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.
Year
DOI
Venue
2011
10.1007/978-3-642-24431-5_15
FMICS
Keywords
Field
DocType
higher order,process algebra
Operational semantics,Programming language,Computer science,Linear process,Theoretical computer science,Predicate (grammar),Labeled transition system,Process calculus,Syntax
Conference
Volume
ISSN
Citations 
6959
0302-9743
3
PageRank 
References 
Authors
0.41
35
3
Name
Order
Citations
PageRank
F. P. M. Stappers1713.43
M.A. Reniers236932.69
Sven Weber330.41