Formalizing SANE virtual processor in thread algebra (0)

by Thuy Duong Vu, Chris R Jesshope
Venue:Formal Methods and Software Engineering