76 citations · 360 across the 21 of their papers we have counts for
1 paper · 1 filter
Konrad Kułakowski
The coarsest bisimulation-finding problem plays an important role in the formal analysis of concurrent systems. For example, solving this problem allows the behavior of different p…