Showing 2024Show all
2 papers · 1 filter
cs.LO2024
One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics
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.LO2024
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…