Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
A Maude Framework for Cache Coherent Multicore Architectures
WRLA, 2016.
@inproceedings{WRLA-2016-BijoJPT,
author = "Shiji Bijo and Einar Broch Johnsen and Ka I Pun and Silvia Lizeth Tapia Tarifa",
booktitle = "{Revised Selected Papers of the 11th International Workshop on Rewriting Logic and Its Applications}",
doi = "10.1007/978-3-319-44802-2_3",
isbn = "978-3-319-44801-5",
pages = "47--63",
publisher = "{Springer}",
title = "{A Maude Framework for Cache Coherent Multicore Architectures}",
year = 2016,
}