12 citations · 41 across the 8 of their papers we have counts for
1 paper · 1 filter
Maciej Gazda, Wan Fokkink
One of the basic sanity properties of a behavioural semantics is that it constitutes a congruence with respect to standard process operators. This issue has been traditionally addr…