activity
20152024
most citedCCS: It's not Fair! Fair Schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions

18 citations · 60 across the 8 of their papers we have counts for

collaborators
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…