Cache Consistency and Sequential Consistency

This Technical Report was originally prepared in February 1989 for a tutorial for the IEEE Futurebus Working Group. It was circulated with the Futurebus minutes and later circulated to the IEEE Scalable Coherent Interface (SCI) Working Group, where it has been referenced as Technical Report Number 61, March 1989. It appears here unchanged except for typographical corrections and minor clarifications.