论文部分内容阅读
Established system equivalences for transition systems,such as trace equivalence and failures equivalence, require the observations to be exactly identical. However, an accurate measurement is impossible when interacting with the physical world, hence exa