Olaf Burkart, Didier Caucal, Faron Moller, Bernhard Steffen. Verification on Infinite Structures. In Jan A. Bergstra, Alban Ponse, Scott A. Smolka, editors, Handbook of Process Algebra. pages 545-623, North-Holland / Elsevier, 2001. [doi]
Abstract is missing.