7 citations · 7 across the 1 of their papers we have counts for
1 paper
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…