Parosh Aziz Abdulla Giorgio Delzanno Ahmed Rezine Automatic Verification of Directory-Based Consistency Protocols. 36-50 2009 RP http://dx.doi.org/10.1007/978-3-642-04420-5_6 conf/rp/2009 db/conf/rp/rp2009.html#AbdullaDR09