TY - CONF T1 - On automatically distinguishing inequivalent processes T2 - Workshop on Computer-Aided Verification Y1 - 1990 A1 - Cleaveland, Rance JA - Workshop on Computer-Aided Verification ER -