5 citations · 10 across the 7 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023★ 2 cited
Linear-Time--Branching-Time Spectroscopy Accounting for Silent Steps
Benjamin Bisping, David N. Jansen
We provide the first generalized game characterization of van Glabbeek's linear-time--branching-time spectrum with silent steps. Thereby, one multi-dimensional energy game can be u…
cs.DS2023★ 1 cited
Process Equivalence Problems as Energy Games
Benjamin Bisping
We characterize all common notions of behavioral equivalence by one 6-dimensional energy game, where energies bound capabilities of an attacker trying to tell processes apart. The…