Formalizing SANE virtual processor in thread algebra (2007)

by T D Vu, C R Jesshope
Venue:Proc. ICFEM 2007, 4789 LNCS