Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture Based on UTP.

Lili Xiao, Huibiao Zhu

Browse the full SETTA paper archive.