Formalizing SANE Virtual Processor in thread algebra

Authors
Publication date 2007
Host editors
  • M. Butler
  • M.G. Hinchey
  • M.M. Larrondo-Petrie
Book title ICFEM 2007
Pages (from-to) 345-365
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Conference contribution
Note VJsvpta07
Permalink to this page
Back