Experimenting with process equivalence (1992)

by B Bloom, A R Meyer
Venue:Theoretical Computer Science