Revisiting Ability-Based Bisimulation.

Carlos Areces, Raul Fervari, Antonio Mondejar

Browse the full KR paper archive.