Experimenting with process equivalence (1992)

by Bard Bloom, Albert Meyer
Venue:Theoretical Computer Science