12 citations · 17 across the 2 of their papers we have counts for
1 paper · 1 filter
Marco Bernardo
We have recently defined a weak Markovian bisimulation equivalence in an integrated-time setting, which reduces sequences of exponentially timed internal actions to individual expo…