Claude Girault, C. Chatelain, Serge Haddad. Specification and properties of a cache coherence protocol model. In Grzegorz Rozenberg, editor, Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets, Oxford, UK, June 1986. Volume 266 of Lecture Notes in Computer Science, pages 1-20, Springer, 1986.
Abstract is missing.