2 citations · 3 across the 3 of their papers we have counts for
3 papers · 1 filter
A Lean-Congruence Format for EP-Bisimilarity
Rob van Glabbeek, Peter Höfner, Weiyou Wang
Enabling preserving bisimilarity is a refinement of strong bisimilarity that preserves safety as well as liveness properties. To define it properly, labelled transition systems nee…
A Lean-Congruence Format for EP-Bisimilarity
Rob van Glabbeek, Peter Höfner, Weiyou Wang
Enabling preserving bisimilarity is a refinement of strong bisimilarity, which preserves safety as well as liveness properties. To define it properly, labelled transition systems n…
Enabling Preserving Bisimulation Equivalence
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…