@conference {12832, title = {On automatically distinguishing inequivalent processes}, booktitle = {Workshop on Computer-Aided Verification}, year = {1990}, month = {1990///}, author = {Cleaveland, Rance} }