8 citations · 14 across the 11 of their papers we have counts for
1 paper · 1 filter
Nick Fischer, Rob van Glabbeek
In concurrency theory, weak bisimilarity is often used to relate processes exhibiting the same observable behaviour. The probabilistic environment gives rise to several generalisat…