TY  - JOUR
AU  - Verdejo López, José Alberto
PY  - 2002
UR  - https://hdl.handle.net/20.500.14352/60343
T2  - Technical report
AB  - We present a formal tool where LOTOS specifications without restrictions in their data typescan be executed. The reflective feature of rewriting logic and the metalanguage capabilities ofMaude make it possible to implement the whole tool in the same...
LA  - eng
M2  - 1
KW  - LOTOS
KW  - symbolic semantics
KW  - rewriting logic
KW  - Maude
KW  - meta-language.
TI  - LOTOS Symbolic Semantics in Maude
TY  - journal article
VL  - 122-02
ER  -