Maude

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