Montanari and Vladimiro Sassone. Dynamic congruence vs. progressing bisimulation for ccs (1992)

by Ugo
Venue:Fundamenta Informaticae