For the most recent entries see the Petri Nets Newsletter.

Specification and Properties of a Cache Coherence Protocol Model.

Girault, C.; Chatelain, C.; Haddad, S.

In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 266: Advances in Petri Nets 1987, pages 1-20. Springer-Verlag, 1987.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography