Formalizing SANE Virtual Processor in Thread Algebra.

Thuy Duong Vu, Chris R. Jesshope

Browse the full ICFEM paper archive.