A logical theory of concurrent objects
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Action semantics
Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications
Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications
Communication and Concurrency
Reflection in conditional rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Exploiting labels in Structural Operational Semantics
Proceedings of the 2004 ACM symposium on Applied computing
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Modular Rewriting Semantics in Practice
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Semantics and Analysis of Component Connectors in Reo
Electronic Notes in Theoretical Computer Science (ENTCS)
Prototyping SOS Meta-theory in Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
A constructive semantics for basic aspect constructs
Semantics and algebraic specification
Type checking evolving languages with MSOS
Semantics and algebraic specification
The rewriting logic semantics project: a progress report
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
Transforming SOS specifications to linear processes
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Electronic Notes in Theoretical Computer Science (ENTCS)
The rewriting logic semantics project: A progress report
Information and Computation
Hi-index | 0.00 |
Modular SOS (MSOS) is a framework created to improve the modularity of structural operational semantics specifications, a formalism frequently used in the fields of programming languages semantics and process algebras. With the objective of defining formal tools to support the execution and verification of MSOS specifications, we have defined a mapping, named MtoR, from MSOS to rewriting logic (RWL), a logic which has been proposed as a logical and semantic framework. We have proven the correctness of M to R and implemented it as a prototype, the MSOS-SL Interpreter, in the Maude system, a high-performance implementation of RWL. In this paper we characterize the M to R mapping and the MSOS-SL Interpreter. The reader is assumed to have some basic knowledge of structural operational semantics and object-oriented concepts.