Process calculi and graph transformation systems provide models of reactive systems with labelled transition semantics (LTS). While the semantics for process calculi is compositional. this is not the case for graph transformation systems. in general. https://www.chiggate.com/3m-speedglas-9002nc-welding-helmet-fashion/