Testing equivalence as a bisimulation equivalence (Q2366163)

Algorithms for checking the various testing preorders and equivalences for finite-state processes are presented. It is shown that (pre)bisimulation-based characterization of these relations relies on the use of appropriate process transformations; the testing relations on the original systems correspond to (pre)bisimulation relations on the altered systems. As a consequence of approach presented, any implementation of a (pre)bisimulation checker can be easily adapted to check for the testing relations. An extended example illustrating these concepts is given.