• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

State-space exploration for concurrent algorithms under weak memory orderings: (preliminary version).

Bengt Jonsson
Published in: SIGARCH Comput. Archit. News (2008)
Keyphrases