Bisimulations Up-to for the Linear Time Branching Time Spectrum | Publicación