AESOP home

Publications

Performance Modelling and Verification of Cache Coherency Protocols using Stochastic Process Algebra

K. Kanani, A. J. Field, Peter G. Harrison

Conference or Workshop Paper
4th Workshop on Process Algebras and Performance Modelling, 1996.
1996

Information from pubs.doc.ic.ac.uk/performance-model-spa.