TY  - JOUR
AU  - Verdejo López, José Alberto
PY  - 2002
UR  - https://hdl.handle.net/20.500.14352/60344
T2  - Technical report
AB  - We describe a formal tool based on a symbolic semantics for Full LOTOS, where speci cationswithout restrictions in their data types can be executed. The reective feature of rewriting logicand the metalanguage capabilities of Maude make it possible to...
LA  - eng
M2  - 1
KW  - Full LOTOS
KW  - symbolic semantics
KW  - rewriting logic
KW  - Maude
KW  - meta-language.
TI  - A tool for Full LOTOS in Maude
TY  - journal article
VL  - 123-02
ER  -