Peter Csaba Ölveczky, José Meseguer. Abstraction and Completeness for Real-Time Maude. Electronic Notes in Theoretical Computer Science, 176(4):5-27, 2007. [doi]
@article{OlveczkyM07a,
title = {Abstraction and Completeness for Real-Time Maude},
author = {Peter Csaba Ölveczky and José Meseguer},
year = {2007},
doi = {10.1016/j.entcs.2007.06.005},
url = {http://dx.doi.org/10.1016/j.entcs.2007.06.005},
tags = {completeness, abstraction},
researchr = {https://researchr.org/publication/OlveczkyM07a},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {4},
pages = {5-27},
}