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

by Jun Pang, Wan Fokkink, Rutger Hofman, Ronald Veldema
Venue:Journal of Logic and Algebraic Programming