Computing Publications

Publications Home » Performance Modelling and Verific...

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
Keywords
AESOP
BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.