5 citations · 10 across the 7 of their papers we have counts for
1 paper · 2 filters
Benjamin Bisping
We characterize all common notions of behavioral equivalence by one 6-dimensional energy game, where energies bound capabilities of an attacker trying to tell processes apart. The…