98 citations · 569 across the 35 of their papers we have counts for
1 paper · 1 filter
Rob van Glabbeek, Bas Luttik, Linda Spaninks
We prove that rooted divergence-preserving branching bisimilarity is a congruence for the process specification language consisting of nil, action prefix, choice, and the recursion…