Value-Based or Conflict-Based? Opacity Definitions for STMs.

Jrgen Knig, Heike Wehrheim

Browse the full ICTAC paper archive.