Bisimulations Up-to for the Linear Time Branching Time Spectrum.

David de Frutos-Escrig, Carlos Gregorio-Rodrguez

Browse the full CONCUR paper archive.