Christoph Lindemann, Friedrich Schön. Evaluating Sequential Consistency in a Virtually Shared Memory System by Deterministic and Stochastic Petri Nets. In Herbert D. Schwetman, Jean C. Walrand, Kallol Kumar Bagchi, Doug DeGroot, editors, MASCOTS 93, Proceedings of the International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 17-20, 1993, La Jolla, San Diego, CA, USA. pages 63-68, The Society for Computer Simulation, 1993.
Abstract is missing.