Kathi Fisler, Claude Girault. Modelling and Model Checking a Distributed Shared Memory Consistency Protocol. In Jörg Desel, Manuel Silva, editors, Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN 98, Lisbon, Portugal, June 22-26, 1998, Proceedings. Volume 1420 of Lecture Notes in Computer Science, pages 84-103, Springer, 1998. [doi]
Abstract is missing.