Strong Bisimulation of State Automata

David B. Benson, Ofer Ben-Shachar

Browse the full LICS paper archive.