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