On quasi-open bisimulation

Quasi-open bisimilarity is a variant of the open bisimilarity based on a closer examination of the observationality of local names. The paper investigates two alternative characterizations of the quasi-open bisimilarity and provides a complete system for the weak quasi-open congruence.