Compositional semantics and behavioural equivalences for reaction systems with restriction. - Pardini, Giovanni; Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone (Theor. Comput. Sci., 2014)