12 citations · 39 across the 13 of their papers we have counts for
1 paper · 1 filter
Wojciech Różowski, Robin Piedeleu, Alexandra Silva +1
Behavioural distances provide a quantitative approach to comparing the states of transition systems, moving beyond traditional Boolean notions of equivalence. In this paper, we dev…