Modelling and Model Checking a Distributed Shared Memory Consistency Protocol.

Kathi Fisler Claude Girault Modelling and Model Checking a Distributed Shared Memory Consistency Protocol. 84-103 http://dx.doi.org/10.1007/3-540-69108-1_6 1998 conf/apn/1998 ICATPN db/conf/apn/icatpn98.html#FislerG98