Branching Bisimulation Games.

David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse

Browse the full FORTE paper archive.