98 citations · 569 across the 35 of their papers we have counts for
1 paper · 1 filter
Rob van Glabbeek
In this paper I distinguish two (pre)congruence requirements for semantic equivalences and preorders on processes given as closed terms in a system description language with a recu…