A context dependent equivalence between processes
Cf. the review of the preliminary version [Lect. Notes Comput. Sci. 194, 373-382 (1985)] in Zbl 0566.68023.
equivalences between nondeterministic and concurrent processes
scientific article; zbMATH DE number 3990854
scientific article