Maude

A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches
Science of Computer Programming 179: 24-53, 2019
Preprint Cite Project DOI
Deployment by Construction for Multicore Architectures
Proc. ISoLa 2018
Preprint Cite Project DOI
An Operational Semantics of Cache Coherent Multicore Architectures
Proc. SAC 2016
Preprint Cite Project DOI
A Maude Framework for Cache Coherent Multicore Architectures
Proc. WRLA 2016
Preprint Cite Project DOI