TY  - JOUR
AU  - Verdejo López, José Alberto
AU  - Martí Oliet, Narciso
PY  - 2003
UR  - https://hdl.handle.net/20.500.14352/52233
T2  - Technical report
AB  - This paper describes in detail how to bridge the gap between theory and practice when implementingin Maude structural operational semantics described in rewriting logic, where transitionsbecome rewrites and inference rules become conditional rewrite...
LA  - eng
M2  - 1
KW  - Rewriting logic
KW  - Maude 2.0
KW  - executability
KW  - structural operational semantics
KW  - metalanguage
KW  - CCS
KW  - LOTOS
KW  - ACT ONE.
TI  - Executable Structural Operational Semantics in Maude
TY  - journal article
VL  - 134-03
ER  -