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…