Evaluating Sequential Consistency in a Virtually Shared Memory System by Deterministic and Stochastic Petri Nets.

Christoph Lindemann, Friedrich Schn

Browse the full MASCOTS paper archive.