research
∙
08/30/2023
A Lean-Congruence Format for EP-Bisimilarity
Enabling preserving bisimilarity is a refinement of strong bisimilarity,...
research
∙
07/31/2021
Enabling Preserving Bisimulation Equivalence
Most fairness assumptions used for verifying liveness properties are cri...
research
∙
04/28/2020