@inproceedings{Kanani:1996, author = {Kanani, K and Field, AJ and Harrison, PG}, title = {Performance Modelling and Verification of Cache Coherency Protocols using Stochastic Process Algebra}, year = {1996} }
TY - CPAPER AU - Kanani,K AU - Field,AJ AU - Harrison,PG PY - 1996/// TI - Performance Modelling and Verification of Cache Coherency Protocols using Stochastic Process Algebra ER -