\textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics
scientific article; zbMATH DE number 6814743
scientific article