Modeling sequential consistency in a distributed shared memory system - Lindemann, Christoph 1961-; Schön, Friedrich (Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1991)