scientific article; zbMATH DE number 1444330

zbMATH Open0952.68096MaRDI QIDQ4953365FDOQ4953365

Authors: A. J. Field, Peter G. Harrison, Keyvan Kanani 

Publication date: 9 May 2000

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1670768
• Formal Methods in Computer-Aided Design
• Exact and efficient verification of parameterized cache coherence protocols
• scientific article; zbMATH DE number 177247
• Constraint-based verification of parameterized cache coherence protocols

zbMATH Keywords

performance modelling

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (2)

• Title not available (Why is that?)
• Process algebra for performance evaluation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953365)