RT Journal Article
T1 LOTOS Symbolic Semantics in Maude
A1 Verdejo López, José Alberto
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 semantic framework, and haveallowed us to implement the LOTOS semantics and to build an entire environment with parsing,pretty printing, and input/output processing of LOTOS specifications.
YR 2002
FD 2002-01
LK https://hdl.handle.net/20.500.14352/60343
UL https://hdl.handle.net/20.500.14352/60343
LA eng
DS Docta Complutense
RD 23 abr 2025