320 citations · 2.3k across the 46 of their papers we have counts for
1 paper · 2 filters
Andrei Dorman, Tobias Heindel
Process calculi and graph transformation systems provide models of reactive systems with labelled transition semantics. While the semantics for process calculi is compositional, th…