Specification and properties of a cache coherence protocol model

Authors:
Claude Girault;C. Chatelain;Serge Haddad
Affiliations:
-;-;-
Venue:
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
Year:
1986

Citing 0
Cited 2

C2MP: a cache-coherent, distributed memory multiprocessor-system

Proceedings of the 1989 ACM/IEEE conference on Supercomputing
Modelling and Model Checking a Distributed Shared Memory Consistency Protocol

ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets

Quantified Score

Hi-index	0.00

Visualization

Abstract