Dynamic congruence vs. progressing bisimulation for CCS (1992)

by U Montanari, V Sassone
Venue:Fundamenta Informaticae