Verification of infinite structures (2001)

by O Burkart, D Caucal, F Moller, B Steffen
Venue:in Handbook of Process Algebra (Elsevier Science