scientific article; zbMATH DE number 1444330

MaRDI QIDQ4953365zbMATH OpenFDO

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

Publication date 9 May 2000

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)

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

Cited in

(2)

• scientific article; zbMATH DE number 1830911 (Why is no real title available?)
• 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)