Verification of infinite structures (2001)

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