Two Case Studies of Semantics Execution in Maude: CCS and LOTOS | Publicación