2 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Rob van Glabbeek, Peter Höfner, Weiyou Wang
Most fairness assumptions used for verifying liveness properties are criticised for being too strong or unrealistic. On the other hand, justness, arguably the minimal fairness assu…