Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior

Alessandro Aldini

Several application domains require formal but flexible approaches to the comparison problem. Different process models that cannot be related by behavioral equivalences should be c…