Relational concurrent refinement. II: Internal operations and outputs
simulations, process algebraic semantics
scientific article; zbMATH DE number 5558114
scientific article