Thomas Anung Basuki, Antonio Cerone, Paolo Milazzo. Translating Stochastic CLS into Maude. Electronic Notes in Theoretical Computer Science, 227:37-58, 2009. [doi]
@article{BasukiCM09,
title = {Translating Stochastic CLS into Maude},
author = {Thomas Anung Basuki and Antonio Cerone and Paolo Milazzo},
year = {2009},
doi = {10.1016/j.entcs.2008.12.103},
url = {http://dx.doi.org/10.1016/j.entcs.2008.12.103},
tags = {translation},
researchr = {https://researchr.org/publication/BasukiCM09},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {227},
pages = {37-58},
}