18 citations · 67 across the 31 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…