Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine. Automatic Verification of Directory-Based Consistency Protocols. In Olivier Bournez, Igor Potapov, editors, Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings. Volume 5797 of Lecture Notes in Computer Science, pages 36-50, Springer, 2009. [doi]
Abstract is missing.