Alberto Verdejo, Narciso MartÃ-Oliet. Two Case Studies of Semantics Execution in Maude: CCS and LOTOS. Formal Methods in System Design, 27(1-2):113-172, 2005. [doi]
@article{VerdejoM05,
title = {Two Case Studies of Semantics Execution in Maude: CCS and LOTOS},
author = {Alberto Verdejo and Narciso MartÃ-Oliet},
year = {2005},
doi = {10.1007/s10703-005-2254-x},
url = {http://dx.doi.org/10.1007/s10703-005-2254-x},
tags = {semantics, case study},
researchr = {https://researchr.org/publication/VerdejoM05},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {27},
number = {1-2},
pages = {113-172},
}