Model checking a cache coherence protocol for a Java DSM implementation (0)

by J Pang, W J Fokkink, R F H Hofman, R Veldema
Venue:Journal of Logic and Algebraic Programming