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…