2 citations · 3 across the 3 of their papers we have counts for
Showing 2023Show all
2 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…