A Top Down Approach to the Formal Specification of SCI Cache Coherence

Authors	S. Gjessing, S. Krogdahl and E. Munthe-Kaas
Title	A Top Down Approach to the Formal Specification of SCI Cache Coherence
Status	Published
Publication Type	Technical reports
Year of Publication	1990
Number	146
Date Published	August,
Publisher	Department of Informatics, University of Oslo
Citation Key	ND.7.Gjessing.1990.a

Search form