Specification and properties of a cache coherence protocol model. - Claude Girault; C. Chatelain; Serge Haddad (European Workshop on Applications and Theory of Petri Nets, 1986)