A thread algebra with multi-level strategic interleaving

Authors
Publication date 2005
Journal Lecture Notes in Computer Science
Volume | Issue number 3526
Pages (from-to) 25-48
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Article
Note Proceedings title: Proceedings CiE 2005 Editors: S.B. Cooper, B. Loewe, L. Torenvliet
Permalink to this page
Back