Compositional semantics and behavioural equivalences for reaction systems with restriction
scientific article; zbMATH DE number 6335768
scientific article