IEEE - Institute of Electrical and Electronics Engineers, Inc. - A correctness proof of a cache coherence protocol

Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96

Author(s): Felty, A. ; Stomp, F.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Gaithersburg, MD, USA, USA
Conference Date: 17 June 1996
Page(s): 128 - 141
ISBN (Paper): 0-7803-3390-X
DOI: 10.1109/CMPASS.1996.507881
Regular:

SCI, Scalable Coherent Interface, is a new IEEE standard for specifying communication between multiprocessors in a shared memory model. We model part of SCI by a program written in a UNITY like... View More

Advertisement