15 citations · 18 across the 4 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2023★ 1 cited
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…
cs.LO2023
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…
cs.LO2015★ 15 cited
Progress, Fairness and Justness in Process Algebra
Rob van Glabbeek, Peter Höfner
To prove liveness properties of concurrent systems, it is often necessary to postulate progress, fairness and justness properties. This paper investigates how the necessary progres…