Bisimulation collapse and the process taxonomy (1996)

by O Burkart, D Caucal, B Steffen
Venue:CONCUR '96: 7th International Conference on Concurrency Theory, volume 1119 of Lecture Notes in Computer Science