62 followers
Given two states a and b, we may ask ourselves: is there any way to tell whether we are in a or in b, or are they indistinguishable? Van Glabbeek demonstrated many notions that capture this, differing in granularity, in https://t.co/Biu6XfFLn6